Email Record: Rigorous numerics in dynamics :