Summations of Linear Recurrent Sequences
classification
🧮 math.CO
keywords
giveresultssomeallowsalreadyapplyautomatedceline
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.