PRIMER SERIES

Friday, 3 August 2012
4.10pm
KF06.102 (Kirkwood Village)

Raazesh Sainudiin (University of Canterbury)

Validated Numeries: the Art of Dividing by Zero

Abstract
I'll give a brief introduction to computer-aided proofs using interval
analysis.  The goal is to appreciate the extended interval Newton
operator, the work-horse of computer-aided proofs of a sphere packing
problem of Kepler and a phylogeny estimation problem of Semple and
Steel.

What are Primers?
Primers in Mathematics and Statistics are short expository introductions
to a field of research by someone who is active in the area. Strengthen
your research; learn from your colleagues; develop a common language.