Sylvie Boldo and Marc Daumas, "Representable Correcting Terms for Possibly Underflowing Floating Point Operations", Proceedings of the 16th IEEE Symposium on Computer Arithmetic, Santiago de Compostela, Spain, June 15-18, 2003
Ren-Cang Li, Marc Daumas, and Sylvie Boldo, "Theorems on Efficient Argument Reductions", Proceedings of the 16th IEEE Symposium on Computer Arithmetic, Santiago de Compostela, Spain, June 15-18, 2003
S. Boldo, J. -M. Muller, "Some Functions Computable with a Fused-mac", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, Cape Cod, Massachusetts, June 27-29, 2005