Fetching the paper…
Reading the bibliography…
We present a computer-aided, yet fully rigorous, proof of Ira Gessel's tantalizingly simply-stated conjecture that the number of ways of walking $2n$ steps in the region $x+y \geq 0, y \geq 0$ of the square-lattice with unit steps in the east, west, north, and south directions, that start and end at the origin, equals $16^n\frac{(5/6)_n(1/2)_n}{(5/3)_n(2)_n}$ .
Sur une class de problèmes liés au treillis des partitions d’entiers
Germain Kreweras · 1965
Earlier work this paper cites.
The method of differentiating under the integral sign
Gert Almkvist and Doron Zeilberger · 1990
Earlier work this paper cites.
An algorithm of constructing the integral of a module
Nobuki Takayama · 1990
Earlier work this paper cites.
Gröbner basis, integration and transcendental functions
Nobuki Takayama · 1990
Earlier work this paper cites.
A holonomic systems approach to special function identities
Doron Zeilberger · 1990
Cited alongside, same era.
Non-commutative elimination in Ore algebras proves multivariate identities
Frédéric Chyzak and Bruno Salvy · 1998
Cited alongside, same era.
Linear recurrences with constant coefficients: the multivariate case
Mireille Bousquet-Mélou and Marko Petkovšek · 2000
Cited alongside, same era.
personal communication, 2001
Ira Gessel · 2001
Cited alongside, same era.
The On-Line Encyclopedia of Integer Sequences
Neil J. A. Sloane
Cited in the paper.
The quasi-holonomic ansatz and restricted lattice walks
Manuel Kauers and Doron Zeilberger · 2007
Later among the works it cites.
Classifying lattice walks restricted to the quarter plane
Marni Mishra · 2007
Later among the works it cites.
Is the full counting function for gessel walks holonomic?
Alin Bostan and Manuel Kauers · 2008
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…