A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
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