Complete Interval Arithmetic and its Implementation.

Ulrich W. Kulisch

Published in: Numerical Validation in Current Hardware Architectures (2008)

Keyphrases

interval arithmetic
constraint propagation
provably correct
neural network
optimal solution
computational complexity
range images
fixed point
floating point