SAC2

A symbolic mathematics system which compiles to FORTRAN or Common LISP.