Computer assisted proofs in dynamics

First lecture .

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