Affine Arithmetic and Applications to Real-Number Proving.

Mariano M. Moscato, Csar A. Muoz, Andrew P. Smith

Browse the full ITP paper archive.