School Seminars and Colloquia

Computer assisted discovery and proof


by Professor Jon Borwein

Institution: Dalhousie and Newcastle
Date: Tue 30th September 2008
Time: 12:00 PM
Location: Russell Love Theatre, Richard Berry Bldg, The Uni of Melb

Abstract: I shall describe some of the methods that are now available for computer-assisted discovery and proof of highly non-trivial mathematical formulas and identities.

For More Information: Contact: Paul Pearce or Paul Norbury

Colloquium Website