Mathematical Software Production
- 1 January 1977
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- The FUNPACK Package of Special Function SubroutinesACM Transactions on Mathematical Software, 1975
- EISPACK — A package of matrix eigensystem routinesComputer Physics Communications, 1974
- An Algorithm for Generalized Matrix Eigenvalue ProblemsSIAM Journal on Numerical Analysis, 1973
- NATS a collaborative effort to certify and disseminate mathematical softwarePublished by Association for Computing Machinery (ACM) ,1972
- The correctness of numerical algorithmsPublished by Association for Computing Machinery (ACM) ,1972
- Program development by stepwise refinementCommunications of the ACM, 1971
- Coding of a Laplace Boundary Value Problem for the UNIVACMathematical Tables and Other Aids to Computation, 1949
- Inversion of a Matrix of Order 38Mathematical Tables and Other Aids to Computation, 1948