Work

The C-finite Ansatz Meets the Holonomic Ansatz

Year: 2015
Type: preprint
Abstract: We show how the continuous Almkvist-Zeilberger algorithm can be used to efficiently discover and prove differential equations satisfied by generating functions of sequences defined as integrals of powers of C-finite polynomial sequences (like the Chebyshev polynomials) from which one can automatically derive linear recurrences with polynomial coefficients for the sequences themselves. We fully implement this with a Maple package, CfiniteIntergal.txt .
Language: English
Open Access status: green
OpenAlex ID: W2200489046
Cites: 3
Cited by:
Related to: 10