Title: Automating Summations
Speaker: Andrew Lohr, Rutgers University
Date: Wednesday, April 11, 2018 12:15pm
Location: Hill Center, Room 705, Rutgers University, Busch Campus, Piscataway, NJ
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.