GEORGE MASON UNIVERSITY
DEPARTMENT OF MATHEMATICAL SCIENCES
COLLOQUIUM
OCTOBER 30, 2015


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.

Place: Exploratory Hall, room 4106

Refreshments will be served at 3:00 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