activity
19982009
most citedA Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)

6 citations · 23 across the 17 of their papers we have counts for

collaborators
Showing 2007Show all

2 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…