Slagle, J. R. "A heuristic program that solves symbolic integration problems in freshman calculus: symbolic automatic integrator (SAINT)" Report 5 G-0001, MIT Lincoln Laboratory, May 10, 1961

Languages mentioned

• SAINT {1961} A program to do formal integration