Speaker:
Craig Larson
Title:
Automated Conjecture-Making
Abstract: Computers can now generate invariant-relation and property-relation conjectures for a wide variety of objects including, for instance, graphs, integers, sequences, and games. Many examples, some history and motivation will be discussed. This is joint work with Nico Van Cleemput.
Time: Friday, October 30, 2015, 3:30-4:20 p.m.
Department of Mathematical Sciences
George Mason University
4400 University Drive, MS 3F2
Fairfax, VA 22030-4444
http://math.gmu.edu/
Tel. 703-993-1460, Fax. 703-993-1491