Honest Plotting, Global Extrema, and Interval Arithmetic.

Richard J. Fateman

Published in: ISSAC (1992)

Keyphrases

interval arithmetic
scale space
constraint propagation
real numbers
multiscale
real time
image structure
finite sets
search algorithm
floating point
provably correct