Login / Signup
Second Note on Basic Interval Arithmetic for IEEE754R.
John D. Pryce
George F. Corliss
R. Baker Kearfott
Nedialko S. Nedialkov
Spencer Smith
Published in:
Numerical Validation in Current Hardware Architectures (2008)
Keyphrases
</>
interval arithmetic
constraint propagation
real numbers
floating point
provably correct
finite sets
implicit surfaces
constraint satisfaction problems
partial derivatives
linear programming
temporal constraints
real time
three dimensional
search space