An extension of Zeilberger's fast algorithm to general holonomic functions (Q1978177): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: qZeil / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 06:26, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An extension of Zeilberger's fast algorithm to general holonomic functions |
scientific article |
Statements
An extension of Zeilberger's fast algorithm to general holonomic functions (English)
0 references
12 September 2001
0 references
In this work, an algorithm is given for the summation of holomonic sequences, therefore generalizing Zeilberger's algorithm which works for hypergeometric sequences. Whereas Zeilberger's approach is a clever application of Gosper's algorithm, in the current paper an algorithm of Abramov for the computation of rational solutions of recurrence equations with polynomial coefficients is used. With this approach, identities like \[ \sum_{k=0}^n\Biggl(\sum_{j=0}^k{n \choose j}\Biggr)^3= n2^{3n-1}+2^{3n}-3n2^{n-2} {2n \choose n} \] can be computer-generated. The technique can be extended to the differential case and to \(q\)-calculus.
0 references
\(\partial\)-finite functions
0 references
D-finite functions
0 references
holonomic functions
0 references
symbolic integration
0 references
symbolic summation
0 references
Zeilberger's algorithm
0 references
Gosper's algorithm
0 references
hypergeometric sequences
0 references
Abramov's algorithm
0 references