SAINT

Symbolic Automatic INTegrator

J. Slagle, MIT, 1961.

Written in LISP.