Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.

Eric Goubault, Sylvie Putot

Browse the full SAS paper archive.