A Functional Analysis Approach to Computer Assisted Proofs based on Taylor Expansions
Gianni Arioli Politecnico di Milano
This web presentation contains the
audio and slides
of a lecture given at the Fields Institute on May 20, 2008
as part of the Fifth International Workshop on Taylor Model Methods.
RealPlayer 7 or later, or other software capable of
playing
streaming
audio,
is required.
You may browse the slides
in the presentation (a browser capable of displaying PNG graphics
is required).
Or, you may download a higher-resolution printer-ready
version
in PDF format
(requires Acrobat Reader).