Some experiments using interval arithmetic.

Eric K. Reuter John P. Jeter J. Wayne Anderson Bruce D. Shriver

Published in: IEEE Symposium on Computer Arithmetic (1978)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
provably correct
finite sets
partial derivatives
constraint satisfaction
constraint programming
implicit surfaces
search algorithm
range data
temporal constraints