FORMAC (was: Carmine Cannatello's book)

[John Ehrman]

FORMAC was a symbolic computation, algebraic manipulation system writtten
(I believe) in PL/I.  All symbolic algebra systems I know of require
variable-precision arithmetic. (I wrote a couple of System/360 assembler
subroutines for George Collins' SAC-1 system in the early 1970s.)