The Method(!) of "Guess and Check"

By
Shalosh B. Ekhad and Doron Zeilberger

.pdf   .ps   .tex  

Posted: Feb. 15, 2015

[Published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger, as well as in arxiv.org.
A German translation, by Martin Aigner, will appear in a new edition of the anthology "Alles Mathematik" edited by him and Ehrhard Behrends]


The problems of enumerating lattice walks, with an arbitrary finite set of allowed steps, both in one and two dimensions, where one must always stay in the non-negative half-line and quarter-plane respectively, are used, as case studies, to illustrate the `naive' methodology of guess-and-check, where rigorous proofs are possible, but not worth the trouble. We argue that this is a metaphor for future math.


Maple Packages


Some Input and Output files for the Maple package W1D


Some Input and Output files for the Maple package W1Dp