On Canonical Forms and Simplification
Journal of the ACM (JACM)
The integration of a class of special functions with the Risch algorithm
ACM SIGSAM Bulletin
Algebraic simplification a guide for the perplexed
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Hi-index | 0.00 |
The problem of recognizing when a complicated mathematical expression equals zero has great importance in symbolic mathematics. This paper gives two algorithms which can be applied to many such problems, and discusses two concrete examples. The algorithms are based on the recognition that many interesting functions (such as exponentiation) are eigenvectors of well studied transformations (such as differentiation).