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