Samose Seminar Series : Automating Mathematics -Part2

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.
© Copyright 2016 National Centre for Biological Sciences