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

Warwick Tucker, Uppsala University

Time: Wed 2010-09-22 16.00

Location: Room 14, house 5, Kräftriket, Department of Mathematics, Stockholm University

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.