Computers and computations in algebraic number theory
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Factoring polynomials over large finite fields*
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algebraic simplification a guide for the perplexed
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algorithms for partial fraction decomposition and rational function integration
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On the Problem of Recognizing Zero
Journal of the ACM (JACM)
Symbolic mathematical computation—introduction and overview
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The user-level semantic matching capability in MACSYMA
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On square-free decomposition algorithms
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Progress on a computer based consultant
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Simplifying products of fractional powers of powers
ACM Communications in Computer Algebra
Hi-index | 0.00 |
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 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.