Rigorous computations of dynamical quantities