COLLEGE OF ARTS AND SCIENCES Department of Mathematics and Statistics
(click here for colloquia)

Mathematics Colloquium: Combinatorics and Automated Proofs


4:10 pm; Neill 5W

Thotsaporn A. Thanatipanonda

Abstract: A recurrence relation is essential in enumerative combinatorics. I will show how they arise in many areas. Then I will describe the role of computers in assisted and automated proof techniques. At the end, I will present my recent work with Doron Zeilberger on the new method using automated proofs to set up the recurrence relations and solve for the values of game positions in Combinatorial Game Theory. The talk will be accessible to everyone. (Mr. Thanatipanonda is a candidate for the faculty position in Discrete Mathematics at WSU)