Primary tabs
Date and time: Wed, 19 April, 4pm (Refreshments at 3:45pm) Speaker: Siddhartha Gadgil, IISc Mathematics Title: Automating Mathematics? (Part 2) Abstract: (This is a continuation of the speaker's talk on 7 April.) I will discuss various stuff related to the goal of having computers play a central role in the discovery of mathematical proofs, including some of my own efforts.