DIMACS - Graduate Student Combinatorics Seminar

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.

See: http://sites.math.rutgers.edu/~yb165/GCS.html