2017/10/30 by Lohr, Andrew
#Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1710.11074
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.