M. Daumas, D. W. Matula, "Design of a Fast Validated Dot Product Operation", Proceedings of the 11th IEEE Symposium on Computer Arithmetic, Windsor, Ontario, Canada, June 29 - July 2, 1993
M. Daumas, "Multiplications of Floating Point Expansions", Proceedings of the 14th IEEE Symposium on Computer Arithmetic, Adelaide, Australia, April 14-16, 1999
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
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