Details:
Title | Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities | Author(s) | Frederic Chyzak, Bruno Salvy | Text | Rapport de recherche, No 2799, INRIA, 1996, ISSN 0249-6399 | Type | Article in Journal | Abstract | Many identities involving special functions can be proved using the
theory of \partial-finite or holonomic sequences and functions. This theory applies in particular to numerous combinatorial identities. This work presents a theoretical and algorithmic approach
to the multivariate case, together with an implementation. | Length | 22 |
File |
| Language | English | Journal | Journal of Symbolic Computation | Volume | 26 | Number | 2 | Pages | 187-227 | Year | 1998 | Translation |
No | Refereed |
No |
|