MATH469

Computer-aided Proofs

15 points

Not offered 2018, offered in 2011, 2012, 2013, 2015

For further information see Mathematics and Statistics

Description

This course provides students with an understanding of advanced concepts at the interface of pure mathematics and scientific computing.

Prerequisites

Subject to approval of the Head of School.