Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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
Contributor : Frédéric Chyzak Connect in order to contact the contributor
Submitted on : Tuesday, September 30, 2014 - 9:16:15 AM
Last modification on : Friday, February 4, 2022 - 3:08:34 AM
Long-term archiving on: : Wednesday, December 31, 2014 - 10:25:39 AM


Files produced by the author(s)


  • HAL Id : hal-01069833, version 1



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⟩



Record views


Files downloads