Symbolic automatic integrator

(SAINT) A symbolic mathematics program written in Lisp by J. Slagle at MIT in 1961.

Free Online Dictionary of Computing