## Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration

- Richard J. Fateman
- ACM Comm. Computer Algebra
- 2015

Highly Influenced

8 Excerpts

@article{Moses1971SymbolicIT, title={Symbolic Integration: The Stormy Decade}, author={Joel Moses}, journal={Commun. ACM}, year={1971}, volume={14}, pages={548-560} }

- Published in Commun. ACM 1971
DOI:10.1145/362637.362651

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 reexamination 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… CONTINUE READING