MA 337: Computer Assisted Topology and Geometry

Credits: 1:3

Prerequisite courses: MA 232

Pre-requisites :

  1. familiarity with constructing proofs (e.g., having taken an Algebra/Linear Algebra/Analysis course in the mathematics department)
  2. a basic familiarity with programming.

The goal of this course is to use computers to address various questions in Topology and Geometry, with an emphasis on arriving at rigourous proofs. The course will consist primarily of assignments and projects. The computing tools used will include wrting own programs, existing Automated Theorem Proving Programs and packages like Maple, Mathematica and Matlab.

All Courses

Contact: +91 (80) 2293 2711, +91 (80) 2293 2265 ;     E-mail: chair.math[at]iisc[dot]ac[dot]in
Last updated: 19 Feb 2019