GuessHolo2, and GuessHolo3 are two Maple packages that guess holonomic representations for discrete functions of two and three variables respectively, and apply them for conjecturing (and proving!) pure reecurrence relations for discrete functions enumerating lattice paths. They accompany by the article The Holonomic Ansatz I. Foundations and Applications to Lattice Path Counting (Posted Feb. 5, 2006).
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Apagodu, Moa: A short WZ-proof of Euler’s fundamental sum identity and more (2011)
- Hebisch, Waldemar; Rubey, Martin: Extended rate, more GFUN (2011)
- Mishna, Marni: Classifying lattice walks restricted to the quarter plane (2009)
- Zeilberger, Doron: The holonomic ansatz. I: Foundations and applications to lattice path counting (2007)