Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic)
A new interval formalism is described for estimating the range of a function over an \(n\)-dimensional interval not only from outside (as done by usual enclosure methods), but also from inside.
scientific article; zbMATH DE number 902716