This chapter 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.
CITATION STYLE
Csendes, T. (2009). Interval analysis and verification of mathematical models (pp. 79–100). https://doi.org/10.1007/978-90-481-2636-1_4
Mendeley helps you to discover research relevant for your work.