The Ultimate Periodicity Ansatz
By Yukun Yao and Doron Zeilberger
.pdf
.ps
.tex
Written: Oct. 2019.
Maple package
-
UlPer.txt,
a Maple package for automatically guessing and proving ultimate perodicity that comes us in Combinatorial Games Theory.
Sample Input and Output for UlPer.txt
Yukun Yao's Home Page
Articles of Doron Zeilberger
Doron Zeilberger's Home Page