Abstract.
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.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Accompanied by Maple packages GuessHolo2 and GuessHolo3 available from Zeilberger’s website. Supported in part by the NSF. http://www.math.rutgers.edu/~zeilberg/.
Received October 19, 2006
Rights and permissions
About this article
Cite this article
Zeilberger, D. The Holonomic Ansatz I. Foundations and Applications to Lattice Path Counting. Ann. Comb. 11, 227–239 (2007). https://doi.org/10.1007/s00026-007-0316-z
Issue Date:
DOI: https://doi.org/10.1007/s00026-007-0316-z