A HEURISTIC PROGRAM THAT SOLVES SYMBOLIC INTEGRATION PROBLEMS IN FRESHMAN CALCULUS

A large high-speed general-purpose digital computer (IBM 7090) was Programmed to solve elementary symbolic integration problems at approximately the level of a good college freshman. The program is called SAINT, an acronym for "Symbolic Automatic INTegrator." (Slagle, 1961). Some typical samples of SAINT's external behavior are given so that the reader may think in concrete terms. Note that SAINT omits the con of integration, and we, too, shall ignore it throughout our discussion. SAINT handles integrands that repre explicit elementary functions of a real variable which, for the sake of brevity, will be elementary functions.