RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @article{RISC4308,
    author = {Manuel Kauers and Doron Zeilberger},
    title = {{The Computational Challenge of Enumerating High Dimensional Rook Paths}},
    language = {english},
    abstract = { We present guesses, based on intensive computer algebra calculations, for recurrence equations of the sequences enumerating rook walks in up to twelve dimensions ending on the main diagonal. Computer proofs can in principle be constructed for all of them. For the moment, however, these computations are feasible only for low dimensions. We pose it as a challenge to develop algorithms which can also certify the correctness of the equations we found for the higher dimensions. },
    journal = {Advances in Applied Mathematics},
    volume = {47},
    number = {4},
    pages = {813--819},
    isbn_issn = {ISSN 0196-8858},
    year = {2011},
    refereed = {yes},
    length = {7}
    }