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 |
|
