Andrew Lohr, Rutgers University

Abstract

It's very common to have to analyze summations when working in combinatorics. Just as we would consult a computer when doing other routine tasks in mathematics, there are tools out there for evaluating summations. We'll talk about Sister Celine's technique and Gosper's algorithm. They are two of the earliest automated approaches to the proving of summation identities.