• DOI:10.1145/800204.806313
Corpus ID: 125512403

Symbolic integration the stormy decade

@inproceedings{Moses1971SymbolicIT,
  title={Symbolic integration the stormy decade},
  author={J. Moses},
  booktitle={SYMSAC '71},
  year={1971}
}

• J. Moses
• Published in SYMSAC '71 1971
• Computer Science

Three approaches to symbolic integration in the 1960's are described. The first, from Artificial Intelligence, led to Slagle's SAINT and to a large degree to Moses' SIN. The second, from algebraic manipulation, led to Manove's implementation and to Horowitz' and Tobey's re-examination of the Hermite algorithm for integrating rational functions. The third, from mathematics, led to Richardson's proof of the unsolvability of the problem for a class of functions and for Risch's decision procedure… Expand

View on ACM

groups.csail.mit.edu

Save to Library

Create Alert

Cite

Launch Research Feed