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…