Summations of linear recurrent sequences
From MaRDI portal
Publication:4580059
Abstract: We give an extension of Sister Celine's method of proving hypergeometric sum identities that allows it to handle a larger variety of input summands. We then apply this to several problems. Some give new results, and some reprove already known results in an automated way.
Recommendations
- Linear recurrence sequences with indices in arithmetic progression and their sums
- scientific article; zbMATH DE number 223378
- Sums of second order linear recurrences
- Linear recurrences as sums of squares
- On the sum of powers of terms of a linear recurrence sequence
- Linear Recursive Sequences
- Linear recursive sequences
- Arithmetical properties of linear recurrent sequences
- scientific article; zbMATH DE number 167585
- scientific article; zbMATH DE number 1416097
Cites work
- A Note on Pure Recurrence Relations
- Binomial transforms of the \(k\)-Fibonacci sequence
- Combinatorial sums and finite differences
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Resurrecting the asymptotics of linear recurrences
- Sister Celine's technique and its generalizations
- The \(C\)-finite ansatz
- The On-Line Encyclopedia of Integer Sequences
Cited in
(7)- A remarkable family of linear recurrent sequences
- Exponential sums for nonlinear recurring sequences
- Constant term evaluation for summation of C-finite sequences
- Sister Celine's algorithm
- WZ-style certification and sister celine's technique for abel-type sums
- Linear recurrence relations for sums of products of two terms
- Recurrence-Driven Summations in Automated Deduction
This page was built for publication: Summations of linear recurrent sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580059)
