Skip to main content

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.

Title Date
Torsten Ekedahl: The Sato-Tate conjecture Nov 03, 2010
Jesper Grodal: Finite loop spaces Nov 10, 2010
Amol Sasane: An analogue of Serre’s Conjecture and Control Theory Oct 13, 2010
Reiner Werner: Quantum correlations - how to prove a negative from finitely many observations Sep 29, 2010
Warwick Tucker: Validated Numerics - a short introduction to rigorous computations Sep 22, 2010
Idun Reiten: Cluster categories and cluster algebras Sep 01, 2010
Stefano Demichelis: Use and misuse of mathematics in economic theory May 26, 2010
Gregory G. Smith: Old and new perspectives on Hilbert functions Apr 14, 2010
Tony Geramita: Sums of Squares: Evolution of an Idea. Mar 31, 2010
Jens Hoppe: Non-commutative curvature and classical geometry Mar 24, 2010
Margaret Beck: Understanding metastability using invariant manifolds Mar 03, 2010
Jan-Erik Björk: Glimpses from work by Carleman Feb 10, 2010