Login / Signup
Complete Interval Arithmetic and Its Implementation on the Computer.
Ulrich W. Kulisch
Published in:
Numerical Validation in Current Hardware Architectures (2008)
Keyphrases
</>
interval arithmetic
constraint propagation
floating point
cost function
provably correct