### Speaker

#### Marc Chamberland

Grinnell College

Mathematics and Statistics

641-269-4207

chamberl@math.grinnell.edu

The Computer's Role in Mathematical Discovery and Proof

The use of computer packages has brought us to a point where the computer can be used for many tasks: discover new mathematical patterns and relationships, create impressive graphics to expose mathematical structure, falsify conjectures, confirm analytically derived results, and perhaps most impressively for the purist, suggest approaches for formal proofs. This is the thrust of experimental mathematics. This talk will give some examples to discover or prove results concerning geometry, integrals, binomial sums, dynamics and infinite series.