The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
On Canonical Forms and Simplification
Journal of the ACM (JACM)
Applications of symbol manipulation in theoretical physics
Communications of the ACM
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Automated algebraic manipulation in celestial mechanics
Communications of the ACM
Symbolic integration: the stormy decade
Communications of the ACM
EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATION
EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATION
ESSAYS IN ALGEBRAIC SIMPLIFICATION
ESSAYS IN ALGEBRAIC SIMPLIFICATION
Integration in Finite Terms with Special Functions: the Error Function
Journal of Symbolic Computation
A conjecture on integration in finite terms with elementary functions and polylogarithms
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
ACM '73 Proceedings of the ACM annual conference
An approach to automatic asymptotic expansions
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
ESF: an automatically generated encyclopedia of special functions
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
What Might "Understand a Function" Mean?
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Editorial: Macsyma: A personal history
Journal of Symbolic Computation
| Hi-index | 48.22 |
A list of a number of natural developments for the field of algebraic manipulation is given. Then the prospects for a general theory of functions defined by ordinary differential equations are discussed. The claim is made that recent developments in mathematics indicate that it should be possible to algorithmically generate many properties of solutions to differential equations. Such a theory is preferable to a less general effort to make algebraic manipulation systems knowledgeable about the usual special functions (e.g. exponential, hypergeometric).