The production of better mathematical software
- 1 July 1972
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 15 (7) , 611-617
- https://doi.org/10.1145/361454.361490
Abstract
Some observations are made on steps to be taken toward the creation of better mathematical software. These steps suggest the need for a coordinated effort and the creation of a center to focus activities in this area.Keywords
This publication has 12 references indexed in Scilit:
- The correctness of numerical algorithmsACM SIGACT News, 1972
- ACM Algorithm 395: Student's t -distributionCommunications of the ACM, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Programming by action clustersBIT Numerical Mathematics, 1969
- Algorithm 343: eigenvalues and eigenvectors of a real general matrixCommunications of the ACM, 1968
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- A Technique for Computer Flow Chart GenerationThe Computer Journal, 1968
- FLOWTRACE, a computer program for flowcharting programsCommunications of the ACM, 1966
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966
- Computer-drawn flowchartsCommunications of the ACM, 1963