SAC-1 <mathematics, tool> An early {symbolic mathematics} system, written in {Fortran} by G.E. Collins. [Proc 2nd Symp Symb Alg Manip pp.144-152 (1971)]. (1995-04-12)