## Proof of George Andrews's and David Robbins's q-TSPP conjecture

(by Christoph Koutschan, Manuel Kauers, Doron Zeilberger)

On this webpage we give supplementary material which accompanies
our article
A Proof of George Andrews' and David Robbins' q-TSPP conjecture
that has been published in February 2011 in the
Proceedings of the National Academy of Sciences (PNAS)
**108**(6) pp. 2196–2199.

In particular, we provide a Mathematica notebook

- qTSPP.nb (Mathematica 7.0 notebook, 677 kB)
- qTSPP.nb.pdf (pdf screenshot of the notebook (if you don't have Mathematica), 695 kB)

We also provide the full certificates mentioned in our article. The corresponding data files are bundled in the zip-archive

- qtspp.zip (281 MB)

The package HolonomicFunctions that is required for performing the computations can be downloaded here.

**Update:** This work was awarded the 2016
David
P. Robbins Prize by the American Mathematical Society. Read the
citation of the prize committee.