A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Journal of the ACM (JACM)
Communications of the ACM
Tensor calculations on computer: appendix
Communications of the ACM
Computer formulation of the equations of motion using tensor notation
Communications of the ACM
An extension to ALGOL for manipulating formulae
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
Computation of algebraic properties of elementary particle reactions using a digital computer
Communications of the ACM
PM, a system for polynomial manipulation
Communications of the ACM
Experience with FORMAC algorithm design
Communications of the ACM
Eliminating monotonous mathematics with FORMAC
Communications of the ACM
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SCRATCHPAD/1: An interactive facility for symbolic mathematics
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On the use of syntax-based translators for symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
FORMAC an experimental formula manipulation Compiler
ACM '64 Proceedings of the 1964 19th ACM national conference
FORMAC today, or what can happen to an orphan
ACM SIGSAM Bulletin
Tuning an algebraic manipulation system through measurements
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
Utilizing the FORMAC novelties
ACM SIGSAM Bulletin
Programming Languages: History and Fundamentals
Programming Languages: History and Fundamentals
A history of the history of programming languages
Communications of the ACM - ACM at sixty: a look back in time
Hi-index | 0.01 |
The first widely available programming language for symbolic mathematical computation to have significant practical was FORMAC (FORmula MAnipulation Compiler). This paper discusses the earliest conceptual work in detail, and then provides information about later developments of the language. Other languages and systems of the early and mid-1960s are described briefly, with emphasis on their relation to FORMAC. There are also a few glimpses into the software management process at IBM. Finally there is an evaluation of FORMAC and its influence.