2 citations · 6 across the 16 of their papers we have counts for
8 papers · 1 filter
Interval Semantics for Standard Floating-Point Arithmetic
W. W. Edmonson, M. H. van Emden
If the non-zero finite floating-point numbers are interpreted as point intervals, then the effect of rounding can be interpreted as computing one of the bounds of the result accord…
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…
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…
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
M. H. van Emden, B. Moa
Numerical analysis has no satisfactory method for the more realistic optimization models. However, with constraint programming one can compute a cover for the solution set to arbit…
Using Propagation for Solving Complex Arithmetic Constraints
M. H. van Emden, B. Moa
Solving a system of nonlinear inequalities is an important problem for which conventional numerical analysis has no satisfactory method. With a box-consistency algorithm one can co…
New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
M. H. van Emden
We consider the prospect of a processor that can perform interval arithmetic at the same speed as conventional floating-point arithmetic. This makes it possible for all arithmetic…