School Seminars and Colloquia

Computer assisted discovery and proof

Colloquium

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 P.Pearce@ms.unimelb.edu.au or Paul Norbury P.Norbury@ms.unimelb.edu.au

Colloquium Website