Skip to Main content Skip to Navigation
Journal articles

Non-commutative Elimination in Ore Algebras Proves Multivariate Identities

Frédéric Chyzak 1 Bruno Salvy 1
1 ALGORITHMS - Algorithms
Inria Paris-Rocquencourt
Abstract : Many computations involving special functions, combinatorial sequences or their $q$-analogues can be performed using linear operators and simple arguments on the dimension of related vector spaces. In this article, we develop a theory of~$\partial$-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.
Document type :
Journal articles
Complete list of metadata

Cited literature [52 references]  Display  Hide  Download

https://hal.inria.fr/hal-01069833
Contributor : Frédéric Chyzak <>
Submitted on : Tuesday, September 30, 2014 - 9:16:15 AM
Last modification on : Friday, May 25, 2018 - 12:02:05 PM
Long-term archiving on: : Wednesday, December 31, 2014 - 10:25:39 AM

File

holonomy.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01069833, version 1

Collections

Citation

Frédéric Chyzak, Bruno Salvy. Non-commutative Elimination in Ore Algebras Proves Multivariate Identities. Journal of Symbolic Computation, Elsevier, 1998, 26 (2), pp.187-227. ⟨hal-01069833⟩

Share

Metrics

Record views

203

Files downloads

477