MATH469-12S1 (C) Semester One 2012

Computer-aided Proofs

15 points

Details:
Start Date: Monday, 20 February 2012
End Date: Sunday, 24 June 2012
Withdrawal Dates
Last Day to withdraw from this course:
  • Without financial penalty (full fee refund): Friday, 2 March 2012
  • Without academic penalty (including no fee refund): Friday, 18 May 2012

Description

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

The aim of the course is to identify the inherent limitations of floating-point computations, and show how to overcome these by the use of a different class of algorithms. We will describe the basics of auto-validating methods, and systematically cover various problems that can successfully be handled using C++ class libraries. These methods were used in the proofs of the existence of the Lorentz attractor and Kepler's sphere packing problem, for instance.

Prerequisites

Subject to approval of the Head of School.

Course Coordinator

Raazesh Sainudiin

Indicative Fees

Domestic fee $788.00

* All fees are inclusive of NZ GST or any equivalent overseas tax, and do not include any programme level discount or additional course-related expenses.

For further information see Mathematics and Statistics .

All MATH469 Occurrences

  • MATH469-12S1 (C) Semester One 2012
Previous year Next year