Symbolic integration
- 1 August 1971
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 14 (8) , 548-560
- https://doi.org/10.1145/362637.362651
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.Keywords
This publication has 6 references indexed in Scilit:
- Algebraic simplificationCommunications of the ACM, 1971
- Algorithms for partial fraction decomposition and rational function integrationPublished by Association for Computing Machinery (ACM) ,1971
- Factoring polynomials over large finite fields*Published by Association for Computing Machinery (ACM) ,1971
- Computers and computations in algebraic number theoryPublished by Association for Computing Machinery (ACM) ,1971
- The problem of integration in finite termsTransactions of the American Mathematical Society, 1969
- Sur l'intégrabilité élémentaire de quelques classes d'expressionsCommentarii Mathematici Helvetici, 1945