<%@ Page Language="C#" MasterPageFile="~/Main.master" AutoEventWireup="true" Title="Volume 11 Issue 2" %>
The Holonomic Ansatz I. Foundations and Applications to Lattice Path Counting
Doron Zeilberger
Department of Mathematics, Rutgers University (New Brunswick), Hill Center-Busch Campus, 110 Frelinghuysen Rd., Piscataway, NJ 08854-8019, USA
Annals of Combinatorics 11 (2) p.227-239 June, 2007
AMS Subject Classification: 05A, 33F10
Many combinatorial quantities belong to the holonomic ansatz. For example, sequences enumerating lattice paths. Once this fact is known, many times empirically obtained “conjectures” can be easily proved automatically.
Keywords: computer-generated combinatorics, lattice path enumeration


[A] Moa Apagodu, Applications of the Wilf-Zeilberger method to lattice path counting, in preparation.

[CaW] E.W.Weisstein et al., Ansatz, from MathWorld ―A Wolfram Web Resource, http://mathworld.wolfram.com/Ansatz.html. [contributed by Mark. D. Carrara]

[G] M. Gardner, The Unexpected Hanging and Other Mathematical Diversions, Simon and Schuster, New York, 1969.

[S] R. Stanley, Differentiably finite power series, Europ. J. Combin. 1 (1980) 175-188. [WimZ] J.Wimp and D. Zeilberger, Resurrecting the asymptotics of linear recurrences, J. Math. Anal. Appl. 111 (1985) 162-177.

[Z1] D. Zeilberger, The holonomic ansatz II: Automatic DISCOVERY(!) and PROOF(!!) of Holonomic Determinant Evaluations, in preparation.

[Z2] D. Zeilberger, The holonomic ansatz III: automatic proofs of positivity theorems for powerseries coefficients of rational functions of several variables, in preparation.

[Z3] D. Zeilberger, The joy of brute force: the covariance of the number of inversions and the major index, Personal Journal of Ekhad and and Zeilbeger, http://www.math.rutgers.edu/~zeilberg/pj.html.

[Z4] D. Zeilberger, A Holonomic systems approach to special functions identities, J. Comput. Appl. Math. 32 (1990) 321-368.

[Z5] D. Zeilberger, Theorems for a price: tomorrow's semi-rigorous mathematical culture, Notices of the American Mathematical Society, 40 (8) (1993) 978-981; reprinted in The Mathematical Intelligencer, 16 (4) (1994) 11-14.