Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (II) (abstract only)
Thotsaporn "Aek" Thanatipanonda · ACM communications in computer algebra · 2008
This will be a follow up talk to my wonderful advisor Doron Zeilberger. People like to make fun of me for playing games. But playing games is fun and helps me do math better. I will give more examples of games and show how computers can make conjectures and prove theorems about them. (Received September 19, 2007).