Lectures 2 and 3 Rigorous numerics for maps and ODEs .
Lectures 4,5 Topological methods .
Lecture 6
Interval Newton and Krawczyk method , Cone conditions and
covering relations
PCR3BP .
Rigorous numerics for dissipative PDEs .
Last modified Feb 15, 2007