Affiliation:
1. Project MAC, MIT, Cambridge, MA
Abstract
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 for the elementary functions. Generalizations of Risch's algorithm to a class of special functions and programs for solving differential equations and for finding the definite integral are also described.
Publisher
Association for Computing Machinery (ACM)
Reference16 articles.
1. Factoring polynomials over large finite fields*
2. Algorithms for partial fraction decomposition and rational function integration
3. Moses J. Symbolic Integration. MAc-TR-47 Proj. MAC MIT Dec. 1967 (available from the Defense Document. Center AD 662666).]] Moses J. Symbolic Integration. MAc-TR-47 Proj. MAC MIT Dec. 1967 (available from the Defense Document. Center AD 662666).]]
Cited by
73 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献