Computer-aided Computation of Abelian integrals and Robust Normal Forms
This PhD thesis consists of a summary and seven papers, where various applications of auto-validated computations are studied.In the first paper we describe a rigorous method to determine unknown parameters in a system of ordinary differential equations from measured data with known