Non-commutative Elimination in Ore Algebras Proves Multivariate Identities - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Symbolic Computation Year : 1998

Non-commutative Elimination in Ore Algebras Proves Multivariate Identities

Frédéric Chyzak
Bruno Salvy

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.
Fichier principal
Vignette du fichier
holonomy.pdf (517.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01069833 , version 1 (30-09-2014)

Identifiers

  • HAL Id : hal-01069833 , version 1

Cite

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

Collections

INRIA INRIA2
58 View
517 Download

Share

Gmail Facebook X LinkedIn More