N. Brisebarre, J. -M. Muller, "Correctly Rounded Multiplication by Arbitrary Precision Constants", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, Cape Cod, Massachusetts, June 27-29, 2005
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