MATH469-12S1 (C)
Computer-aided Proofs
This is a semester one course.
Course Information
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.
Enquiries
Dr Raazesh Sainudiin
Room 724 Erskine Building
Phone Extension 7682
Homepage