Non-commutative Elimination in Ore Algebras Proves Multivariate IdentitiesReportar como inadecuado




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




Documentos relacionados