An extension to ALGOL for manipulating formulae
Communications of the ACM
Some experiments in algebraic manipulation by computer
Communications of the ACM
FORMAC an experimental formula manipulation Compiler
ACM '64 Proceedings of the 1964 19th ACM national conference
Rounding Errors in Algebraic Processes
Rounding Errors in Algebraic Processes
The beginning and development of FORMAC (FORmula MAnipulation Compiler)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A Survey of Interactive Graphical Systems for Mathematics
ACM Computing Surveys (CSUR)
Construction of rational and negative powers of a formal series
Communications of the ACM
Symbolic mathematical computation—introduction and overview
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Symbolic and algebraic manipulation for solving differential equations
ACM '71 Proceedings of the 1971 26th annual conference
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
Ludeman's PL/I FORMAC gradient problem as handled by FORTRAN SYMBOLANG
ACM SIGSAM Bulletin
| Hi-index | 48.23 |
The FORMAC (FORmula MAnipulation Compiler) programming system provides a powerful tool for performing mathematical analysis. It is an extension of FORTRAN IV which permits the use of the computer to perform the tedious algebraic computations that arise in many different fields. Among the areas in which it has been successfully used are: differentiation of complicated expressions; expansion of truncated power series, solution of simultaneous equations with literal coefficients, nonlinear maximum likelihood estimation, tensor analysis, and generation of the coefficients of equations in Keplerian motion. These types of analysis—which arose in the solution of specific practical problems in physics, engineering, astronomy, statistics and astronautics—are discussed in the paper.In addition to its usage for specific problem solutions, FORMAC can also be used to automate the analysis phase in certain production programming. Several such applications are presented.