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. familiarity with programming, ideally in a functional language (such as Scala, Haskell, OCaml or Idris).

The goal of this course is to use computers to address various questions in Topology and Geometry, with an emphasis on arriving at rigorous proofs. The course will consist primarily of projects which will be contributions to open source software written in the scala programming language.



All Courses


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