Samose Seminar Series : Automating Mathematics

Samose Seminar Series: Automating Mathematics

Friday, 7 April, 4pm (Refreshments at 3:45pm)
Simons Center-GF, NCBS

Speaker: Siddhartha Gadgil, IISc Math

Abstract:

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