Text this: Rigorous numerics in dynamics :