In computational science it is common to describe dynamic systems by mathematical models in forms of differential or integral equations. These models may contain parameters that have to be computed for the model to be complete. For the special type of ordinary differential equations studied in this thesis, the resulting parameter estimation problem is a separable nonlinear least squares problem with equality constraints.
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
Functional analysis is the branch of mathematics where vector spaces and operators on them are in focus. In linear algebra, the discussion is about finite dimensional vector spaces over any field of scalars. The functions are linear mappings which can be viewed