Non-commutative Elimination in Ore Algebras Proves Multivariate Identities
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.
Domains
Symbolic Computation [cs.SC]
Origin : Files produced by the author(s)
Loading...