RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @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}
    }