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
178 Citations
Symbolic Integration
  • 138
  • PDF
Heuristic Search Programs
  • 13
Parallel problem solving
  • 33
  • Highly Influenced
Computer Algebra Systems
  • 63
  • PDF
Search: A survey of recent results
  • 58
...
1
2
3
4
5
...