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)

containing all computations that are necessary to show that our proof is correct. The explanations given there are aiming at a self-contained description of all technical details of the proof.

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

• qtspp.zip   (281 MB)

(915 MB disc space are needed after decompression). Make sure that these files are stored in a directory such that Mathematica can find them. They will be loaded at the appropriate positions in the notebook, then consuming up to 7 GB each (according to Mathematica's ByteCount command).

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.