Affiliation:
1. Massachusetts Institute of Technology, Cambridge
Abstract
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).
Publisher
Association for Computing Machinery (ACM)
Reference26 articles.
1. Conjecture de Schanuel sur la transcendance d'exponentielles;Amice Y;Sdminaire Bourbaki,1971
2. Hyperbolic differential equations and algebraic geometry;Aityah M.F;Sgminaire Bourbaki,1967
3. On Canonical Forms and Simplification
4. Construction of rational functions on a curve
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献