75 citations · 402 across the 82 of their papers we have counts for
4 papers · 1 filter
Automatic Classification of Restricted Lattice Walks
Alin Bostan, Manuel Kauers
We propose an experimental mathematics approach leading to the computer-driven discovery of various structural properties of general counting functions coming from enumeration of w…
A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)
Manuel Kauers, Christoph Koutschan, Doron Zeilberger
In the historic conference Combinatoire Enumerative[LL] wonderfully organized by Gilbert Labelle and Pierre Leroux there were many stimulating lectures, including a very interestin…
The Quasi-Holonomic Ansatz and Restricted Lattice Walks
Manuel Kauers, Doron Zeilberger
The great enumerator Germain Kreweras empirically discovered this intriguing fact, and then needed lots of pages[K], and lots of human ingenuity, to prove it. Other great enumerato…
Proof of Ira Gessel's Lattice Path Conjecture
Manuel Kauers, Christoph Koutschan, Doron Zeilberger
We present a computer-aided, yet fully rigorous, proof of Ira Gessel's tantalizingly simply-stated conjecture that the number of ways of walking steps in the region $x+y \geq…