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â€™

- All seminars.
- Seminars for 2010

Last updated: 04 Aug 2020