Sylvie Boldo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

12EESylvie Boldo: Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven. IEEE Trans. Computers 58(2): 220-225 (2009)
11EESylvie Boldo, Guillaume Melquiond: Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd. IEEE Trans. Computers 57(4): 462-471 (2008)
10EESylvie Boldo, Jean-Christophe Filliâtre: Formal Verification of Floating-Point Programs. IEEE Symposium on Computer Arithmetic 2007: 187-194
9EESylvie Boldo, Marc Daumas, Ren-Cang Li: Formally Verified Argument Reduction with a Fused-Multiply-Add CoRR abs/0708.3722: (2007)
8EESylvie Boldo: Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms. IJCAR 2006: 52-66
7EESylvie Boldo, César Muñoz: Provably faithful evaluation of polynomials. SAC 2006: 1328-1332
6EESylvie Boldo, Jean-Michel Muller: Some Functions Computable with a Fused-Mac. IEEE Symposium on Computer Arithmetic 2005: 52-58
5EESylvie Boldo, Marc Daumas: Properties of two's complement floating point notations. STTT 5(2-3): 237-246 (2004)
4EERen-Cang Li, Sylvie Boldo, Marc Daumas: Theorems on Efficient Argument Reductions. IEEE Symposium on Computer Arithmetic 2003: 129-136
3EESylvie Boldo, Marc Daumas: Representable Correcting Terms for Possibly Underflowing Floating Point Operations. IEEE Symposium on Computer Arithmetic 2003: 79-86
2EESylvie Boldo, Marc Daumas: Properties of the subtraction valid for any floating point system. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
1EESylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry: Computer validated proofs of a toolset for adaptable arithmetic CoRR cs.MS/0107025: (2001)

Coauthor Index

1Marc Daumas [1] [2] [3] [4] [5] [9]
2Jean-Christophe Filliâtre [10]
3Ren-Cang Li [4] [9]
4Guillaume Melquiond [11]
5Claire Moreau-Finot [1]
6Jean-Michel Muller [6]
7César Muñoz [7]
8Laurent Théry [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)