Warwick Tucker: Validated Numerics - a short introduction to rigorous computations

We will present an efficient means of performing numerical computations with rigorous error bounds. The basic idea is to use set-valued mathematics as the underlying framework. This enables us to change focus from approximating the solution to enclosing the same. We will apply these techniques to several problems, ranging from simple root-finding and quadrature to Hilbert’s 16th problem.

Coffee is served at 15:30 in the lunch room.