Interval analysis and verification of mathematical models [chapter]

Tibor Csendes
2009 Uncertainties in Environmental Modelling and Consequences for Policy Making  
The paper provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circle packing, chaotic behaviour dynamical systems, and process network synthesis.
doi:10.1007/978-90-481-2636-1_4 fatcat:e3bdrew37bem3j2ikyjjikyiri