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 2009

Last updated: 06 Mar 2020