Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library.

Nathalie Revol Fabrice Rouillier

Published in: Reliab. Comput. (2005)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
finite sets
provably correct
ray casting
multiscale
dynamic programming
general purpose
implicit surfaces
partial derivatives