Interval Arithmetic and Standardization.

Jürgen Wolff von Gudenberg

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

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
provably correct
constraint satisfaction problems
constraint programming
implicit surfaces
finite sets
temporal constraints
neural network
constraint satisfaction
partial derivatives
learning algorithm
objective function
fuzzy logic