Till innehåll på sidan

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.

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