Non-commutative Elimination in Ore Algebras Proves Multivariate IdentitiesReport as inadecuate




Non-commutative Elimination in Ore Algebras Proves Multivariate Identities - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Frédéric Chyzak - Bruno Salvy -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents