SIAM seminar, fall 2011: Warwick Tucker
Abstract 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. We will apply these
techniques to several problems, ranging from simple root-finding and
quadrature to Hilbert's 16th problem.
Warwick Tucker, Department of Mathematics, Uppsala University.
Warwick got his PhD in 1998 at Uppsala University. Perhaps the most well-known outcome was his solution to the famous Smale's 14th problem on the strangeness of the Lorentz attractor. Warwick is now Professor in Mathematics at Uppsala University and research leader of the group CAPA (Computer-Aided Proofs in Analysis). We are very pleased to welcome him at this fall's SIAM-seminar!