M. Daumas, G. Melquiond, C. Munoz, "Guaranteed Proofs Using Interval Arithmetic", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, Cape Cod, Massachusetts, June 27-29, 2005