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 ﬁnite dimensional vector spaces over any ﬁeld of scalars. The functions are linear mappings which can be viewed

### Project Reports, Final Year Projects for Students, Case Studies, Dissertation Ideas, Thesis Topics, Project Sample Downloads