91 citations · 520 across the 230 of their papers we have counts for
Showing 2007Show all
3 papers · 1 filter
math.DS2007
A Symbolic Finite-state approach for Automated Proving of Theorems in Combinatorial Game Theory
Thotsaporn ``Aek'' Thanatipanonda, Doron Zeilberger
We develop a finite-state automata approach, implemented in a Maple package {\tt ToadsAndFrogs} available from our websites, for conjecturing, and then rigorously proving, values f…
math.CO2007
Experiments with a Positivity Preserving Operator
Manuel Kauers, Doron Zeilberger
We consider some multivariate rational functions which have (or are conjectured to have) only positive coefficients in their series expansion. We consider an operator that preserve…
cond-mat.stat-mech2007
Two Dimensional Directed Lattice Walks with Boundaries
Arvind Ayyer, Doron Zeilberger
We present general algorithms (fully implemented in Maple) for calculations of various quantities related to constrained directed walks for a general set of steps on the square lat…