# Non-commutative Elimination in Ore Algebras Proves Multivariate Identities

Non-commutative Elimination in Ore Algebras Proves Multivariate Identities - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

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

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

DESCARGAR PDF