Rigorous Numerics in Dynamics