✦ LIBER ✦
Non-commutative Elimination in Ore Algebras Proves Multivariate Identities
✍ Scribed by F. Chyzak; B. Salvy
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 790 KB
- Volume
- 26
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
✦ Synopsis
Many computations involving special functions, combinatorial sequences or their qanalogues can be performed using linear operators and simple arguments on the dimension of related vector spaces. In this article, we develop a theory of ∂-finite sequences and functions which provides a unified framework to express algorithms for computing sums and integrals and for the proof or discovery of multivariate identities. This approach is vindicated by an implementation.