Title: Can Computers do Mathematics? Ventures in Topology/Geometry
Speaker: Dr. Siddhartha Gadgil, IISc.
Date: 11 January 2010
Time: 4:00 p.m.
Venue: Lecture Hall - I, Dept. of Mathematics
We discuss applications of computers to prove mathematical theorems. In particular we discuss possible future applications in Topology/Geometry. This will also be the introductory lecture to the new course `Computer Assisted Topology/Geometry’