Summations of linear recurrent sequences |
| |
Authors: | Andrew Lohr |
| |
Institution: | Department of Mathematics, Rutgers University , Piscataway, NJ, USA. |
| |
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. In particular, we extend the summand to powers of a C-finite sequence times a hypergeometric term. We then apply this to several problems. Some of these applications give new results, and some reprove already known results in an automated way. |
| |
Keywords: | Combinatorics hypergeometric summations experimental mathematics summation identities linear recurrences |
|
|