Connecting campuses to promote excellence in math and science


Marc Chamberland

Grinnell College
Mathematics and Statistics
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.
Apply for monies for this speaker