A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

J. Slagle

DOI:10.1145/321186.321193

Corpus ID: 13122068

A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

@article{Slagle1963AHP,
  title={A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus},
  author={J. Slagle},
  journal={J. ACM},
  year={1963},
  volume={10},
  pages={507-520}
}

J. Slagle
Published 1963
Mathematics, Computer Science
J. ACM

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." This paper discusses the SAINT program and its performance. SAINT performs indefinite integration. I t also performs definite and multiple integration when these are trivial extensions of indefinite integration. I t uses many of the… Expand

View on ACM