37 citations · 68 across the 8 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
math.NA2007
Functions to Support Input and Output of Intervals
M. H. van Emden, B. Moa, S. C. Somosan
Interval arithmetic is hardly feasible without directed rounding as provided, for example, by the IEEE floating-point standard. Equally essential for interval methods is directed r…
math.NA2007
The Fundamental Theorems of Interval Analysis
M. H. van Emden, B. Moa
Expressions are not functions. Confusing the two concepts or failing to define the function that is computed by an expression weakens the rigour of interval arithmetic. We give suc…