37 citations · 68 across the 8 of their papers we have counts for
4 papers · 1 filter
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…