Survey of formula manipulation
- 1 August 1966
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 9 (8) , 555-569
- https://doi.org/10.1145/365758.365762
Abstract
The field of formula manipulation is surveyed, with particular attention to the specific capabilities of differentiation, integration and the supporting capabilities of simplification, displays and input/output editing, and precision arithmetic. General systems—both batch and online—are described. Finally, some programs to solve specific applications are discussed.Keywords
This publication has 40 references indexed in Scilit:
- A formal semantics for computer languages and its application in a compiler-compilerCommunications of the ACM, 1966
- Wengert's numerical method for partial derivatives, orbit determination and quasilinearizationCommunications of the ACM, 1965
- Mechanization of tedious algebra—the e coefficients of theoretical chemistryCommunications of the ACM, 1964
- Some Analytical Procedures for Computers and Their Applications to a Class of Multidimensional IntegralsJournal of the ACM, 1964
- Investigation of a new analytical method for numerical derivative evaluationCommunications of the ACM, 1964
- A simple automatic derivative evaluation programCommunications of the ACM, 1964
- MIRFAC: a compiler based on standard mathematical notation and plain EnglishCommunications of the ACM, 1963
- Algebra of Polynomials in Several Variables for a Digital ComputerJournal of the ACM, 1962
- Representation of Power Series in Terms of Polynomials, Rational Approximations and Continued FractionsJournal of the ACM, 1961
- MADCAPCommunications of the ACM, 1961