The beginning and development of FORMAC (FORmula MAnipulation Compiler)

The first widely available programming language for symbolic mathematical computation to have significant practical usage 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.

[1]  W. A. Martin,et al.  Symbolic mathematical laboratory , 1967 .

[2]  Robert G. Tobey.  Experience with FORMAC algorithm design , 1966, CACM.

[3]  George E. Collins.  PM, a system for polynomial manipulation , 1966, CACM.

[4]  John J. Walton.  Tensor calculations on computer: appendix , 1967, CACM.

[5]  John Xenakis.  The PL/I-FORMAC Interpreter , 1971, SYMSAC '71.

[6]  W. S. Brown.  A language and system for symbolic algebra on a digital computer , 1966, SYMSAC '66.

[7]  J. E. Sammet,et al.  Introduction to FORMAC , 1964, IEEE Trans. Electron. Comput..

[8]  Richard Y. Kain,et al.  A computer aid for symbolic mathematics , 1963, AFIPS '63 (Fall).

[9]  Joel Moses,et al.  MACSYMA - the fifth year , 1974, SIGS.

[10]  Knut Bahr.  Utilizing the FORMAC novelties , 1975, SIGS.

[11]  L. D. Neidleman.  An application of FORMAC , 1967, CACM.

[12]  Robert G. Tobey.  Eliminating monotonous mathematics with FORMAC , 1966, CACM.

[13]  Charles H. Kriebel,et al.  Review of "Programming Languages: History and Fundamentals, by (Miss) Jean E. Sammet." Prentice-Hall, Inc. (1969) , 1969, DATB.

[14]  Jean E. Sammet,et al.  Survey of formula manipulation , 1966, CACM.

[15]  P. Sconzo,et al.  Symbolic computation of F and G series by computer , 1965 .

[16]  S. Zilles,et al.  FORMAC an experimental formula manipulation Compiler , 1964, ACM National Conference.

[17]  E. D. Callender,et al.  ALGY - an algebraic manipulation program , 1961, IRE-AIEE-ACM '61 (Western).

[18]  James R. Slagle,et al.  A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus , 1963, JACM.

[19]  Alan J. Perlis,et al.  An extension to ALGOL for manipulating formulae , 1964, CACM.

[20]  C. Engelman.  MATHLAB: a program for on-line machine assistance in symbolic computations , 1965, AFIPS '65 (Fall, part I).

[21]  J. C. Howard,et al.  Computer formulation of the equations of motion using tensor notation , 1967, CACM.

[22]  R. G. Tobey,et al.  Automatic simplification in FORMAC , 1965, AFIPS '65 (Fall, part I).

[23]  Anthony C. Hearn,et al.  Computation of algebraic properties of elementary particle reactions using a digital computer , 1966, CACM.

[24]  R. D. Jenks,et al.  SCRATCHPAD/1: An interactive facility for symbolic mathematics , 1971, SYMSAC '71.

[25]  Alan J. Perlis,et al.  A DEFINITION OF FORMULA ALGOL. , 1966 .

[26]  Carl Engelman.  The legacy of MATHLAB 68 , 1971, SYMSAC '71.

[27]  W. A. Martin,et al.  The MACSYMA system , 1971, SYMSAC '71.

[28]  Anthony C. Hearn,et al.  REDUCE 2: A system and language for algebraic manipulation , 1971, SYMSAC '71.

[29]  J. A. van Hulzen.  FORMAC today, or what can happen to an orphan , 1974, SIGS.

[30]  Joel Moses,et al.  Symbolic integration: the stormy decade , 1966, CACM.

[31]  Jaap Smit,et al.  Tuning an algebraic manipulation system through measurements , 1974, SIGS.