(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
We also provide the full certificates mentioned in our article. The corresponding data files are bundled in the zip-archive
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.
联系客服