Through some google-fu, I was able to find some good material related to FORMAC: > This was the first step in extending the use of computers to do formal mathe

Through some google-fu, I was able to find some good material related to FORMAC: > This was the first step in extending the use of computers to do formal mathematics, as distinct from numerical mathematics. MAPLE and MATHEMATICA, which are discussed here, are the "children" of FORMAC. [1] I was able to find some example code: https://gist.github.com/relyks/4e63e4fbe73e2a0ad9d681624eb96bc7 https://gist.github.com/relyks/4e63e4fbe73e2a0ad9d681624eb96... [2] And another good quote from a paper: > The basic concepts of FORMAC (FORmula MAnipulation Compiler) were first developed by Jean E. Sammet (assisted by Robert G. Tobey) at IBM’s Boston Advanced Programming Department in July 1962. I recognized that what was needed was a formal algebraic capability associated with an already existing numeric mathematical language; FORTRAN was the obvious choice. An internal memo describing the basic ideas was written on August 1, 1962, and a complete draft of language specifications was finished in December 1962; implementation design started shortly thereafter. The basic objective was to develop a practical system for performing formal mathematical manipulation on the IBM 7090194. Originally FORMAC was intended only as an experiment, and there was no plan to make it available outside of IBM. In April 1964 the first complete version was successfully running after extensive testing, and papers on it appeared in the literature. ... FORMAC introduced and/or emphasized two major concepts the desirability of a language for doing formula manipulation, rather than just a series of routines, and the concept of extending an existing language to provide this type of capability. Of the other two systems that appear to be in general use in 1980 one, REDUCE, has more or less followed the FORMAC language philosophy by adding capabilities to ALGOL, whereas MACSYMA has developed its own language. Perhaps the most lasting value of FORMAC was its major role, along with Sammet’s formation of the ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM), in getting this technical field started. [3] [1] http://ageconsearch.umn.edu/record/28555/files/wp03-17.pdf http://ageconsearch.umn.edu/record/28555/files/wp03-17.pdf [2] http://web.archive.org/web/20110927015538/http://hopl.murdoch.edu.au/showlanguage.prx?exp=158&language=FORMAC http://web.archive.org/web/20110927015538/http://hopl.murdoc... [3] https://pdfs.semanticscholar.org/b77c/4a57b8cb314ff07744c3d3b33077c2a3618f.pdf https://pdfs.semanticscholar.org/b77c/4a57b8cb314ff07744c3d3... Looks pretty similar to Matlab :)