(SAINT) A symbolic mathematics program written in Lisp by J. Slagle at MIT in 1961.
[Sammet 1969, p. 410].