Summations of Linear Recurrent Sequences
Combinatorics
2018-02-06 v3
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.
Cite
@article{arxiv.1710.11074,
title = {Summations of Linear Recurrent Sequences},
author = {Andrew Lohr},
journal= {arXiv preprint arXiv:1710.11074},
year = {2018}
}