Sponsored by the Rutgers University Department of Mathematics and the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)

Andrew Baxter, Rutgers University, baxter{at} math [dot] rutgers [dot] edu
Doron Zeilberger, Rutgers University, zeilberg {at} math [dot] rutgers [dot] edu

Title: Proof of George Andrews' and David Robbins' q-TSPP Conjecture

Speaker: Christoph Koutschan, Tulane University

Date: Thursday, April 29, 2010 5:00pm

Location: Hill Center, Room 705, Rutgers University, Busch Campus, Piscataway, NJ


Around 1983, George Andrews and David Robbins independently conjectured that the orbit-counting generating function for totally symmetric plane partitions can be expressed by an explicit and elegant product-formula. We employ Zeilberger's holonomic systems approach to obtain the first proof of this famous long-standing conjecture. In particular, we had to improve the existing computer algebra methods for automatically proving holonomic function identities. This is joint work with M. Kauers and D. Zeilberger.