Interval Arithmetic in Cylindrical Algebraic Decomposition.

George E. Collins Jeremy R. Johnson Werner Krandick

Published in: J. Symb. Comput. (2002)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
provably correct
constraint satisfaction problems
constraint satisfaction
temporal constraints
partial derivatives
constraint programming
implicit surfaces
finite sets
general purpose
fixed point
computational intelligence
ray casting