SPE
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.
REALIZATION OF A GEOMETRY-THEOREM PROVING MACHINE H. Gelernter
In particular the technique of heuristic programming is under detailed investigation as a means to the end of applying largescale rently digital computers to the solution of a difficult class of problems cur considered to be beyond their capabilities; namely those problems that seem to require the agent of human intelligence and ingenuity for their solution. It is difficult to characterize such problems further, except, perhaps, plex to remark rather vaguely that they generally involve com vironment.