RISC RISC Research Institute for Symbolic Computation  
  • @incollection{RISC4097,
    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}
    }