Symbolic integration: the stormy decade

SIN and SOLDIER are heuristic programs written in LISP which solve symbolic integration problems. SIN (Symbolic INtearator) solves indefinite integration proble.. at the difficulty approaching those in the larger integral tables. SIN contains several more methods than are used in the previous symbolic integration program SAINT, and solves BIOst of the problems attempted by SAINT in less than one second. . SOLDIER (SOLution of Ordinary DIfferential Equations Routine) solves first order, first degree ordinary differential equations at the level of a good college sophomore and at an average of about five seconds per problem attempted. The differences in philosophy and operation between SAINT and SIN are described, and suggestions for extending the work presented are made. Thesis Supervisor: Marvin L. Minsky Title: Professor of Electrical Engineering

[1]  Jack May,et al.  An experiment in a user-oriented computer system , 1964, CACM.

[2]  Staffan Persson,et al.  Some sequence extrapolating programs : a study of representation and modeling in inquiring systems , 1968 .

[3]  Frank Harary,et al.  On the computer enumeration of finite topologies , 1967, CACM.

[4]  L. M. Norton.  ADEPT. A HEURISTIC PROGRAM FOR PROVING THEOREMS OF GROUP THEORY , 1966 .

[5]  Daniel G. Bobrow,et al.  A question-answering system for high school algebra word problems , 1899, AFIPS '64 (Fall, part I).

[6]  G. Hardy.  The Integration of Functions of a Single Variable , Nature.

[7]  H. Putnam,et al.  The Decision Problem for Exponential Diophantine Equations , 1961 .

[8]  George E. Collins,et al.  Subresultants and Reduced Polynomial Remainder Sequences , 1967, JACM.

[9]  A. Caracciolo di Forino,et al.  PANON-1B: A programming language for symbol manipulation , 1966, SYMSAC '66.

[10]  Marvin Minsky,et al.  Steps toward Artificial Intelligence , 1995, Proceedings of the IRE.

[11]  James R. Slagle,et al.  Experiments with a deductive question-answering program , 1965, CACM.

[12]  Carlos Christensen,et al.  On the implementation of AMBIT, a language for symbol manipulation , 1966, CACM.

[13]  Joseph Weizenbaum,et al.  ELIZA—a computer program for the study of natural language communication between man and machine , 1966, CACM.

[14]  James R. Slagle,et al.  A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus , 1963, JACM.

[15]  T. G. Evans.  A program for the solution of a class of geometric-analogy intelligence-test questions , 1964 .

[16]  F. G. Brown,et al.  Applied Differential Equations , 1949, Nature.

[17]  Warren Teitelman.  FLIP - A Format List Processor , 1967 .

[18]  Jonathan K. Millen.  CHARYBDIS: a LISP program to display mathematical expressions on typewriter-like devices , 1967 .

[19]  Robert H. Anderson.  Syntax-directed recognition of hand-printed two-dimensional mathematics , 1967, Symposium on Interactive Systems for Experimental Applied Mathematics.

[20]  Jean E. Sammet,et al.  Survey of formula manipulation , 1966, CACM.

[21]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .