Summations of linear recurrent sequences

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.