author = {Christoph Koutschan},
title = {{Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem}},
booktitle = {{Gems in Experimental Mathematics}},
language = {english},
series = {Contemporary Mathematics},
volume = {517},
pages = {219--230},
publisher = {American Mathematical Society},
isbn_issn = {ISSN 0271-4132},
year = {2010},
editor = {Tewodros Amdeberhan and Luis A. Medina and Victor H. Moll},
refereed = {yes},
length = {12}