RookWalks a Maple package for counting multi-dimensional rook walks. It accompanies the article ”The computational challenge of enumerating high-dimensional rook walks” by Manuel Kauers and Doron Zeilberger. Summary: 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
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Lairez, Pierre: Computing periods of rational integrals (2016)
- Kauers, Manuel; Zeilberger, Doron: The computational challenge of enumerating high-dimensional rook walks (2011)