TITLE: The Computer's Role in Mathematical Discovery and Proof

ABSTRACT:
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 
recent examples to discover or prove results concerning 
geometry, integrals, binomial sums, dynamics and infinite 
series.