Slagle, J. A heuristic program that solves symbolic integration problems in freshman calculus. Ph.D. diss., MIT, May 1961

Languages mentioned

• SAINT {1961} A program to do formal integration