Search the dblp DataBase
Sylvie Boldo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sylvie Boldo , Marc Daumas Representable Correcting Terms for Possibly Underflowing Floating Point Operations. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Computer Arithmetic, 2003, pp:79-86 [Conf ] Sylvie Boldo , Jean-Michel Muller Some Functions Computable with a Fused-Mac. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Computer Arithmetic, 2005, pp:52-58 [Conf ] Ren-Cang Li , Sylvie Boldo , Marc Daumas Theorems on Efficient Argument Reductions. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Computer Arithmetic, 2003, pp:129-136 [Conf ] Sylvie Boldo Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms. [Citation Graph (0, 0)][DBLP ] IJCAR, 2006, pp:52-66 [Conf ] Sylvie Boldo , César Muñoz Provably faithful evaluation of polynomials. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1328-1332 [Conf ] Sylvie Boldo , Marc Daumas , Claire Moreau-Finot , Laurent Théry Computer validated proofs of a toolset for adaptable arithmetic [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Sylvie Boldo , Marc Daumas Properties of the subtraction valid for any floating point system. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal ] Sylvie Boldo , Marc Daumas Properties of two's complement floating point notations. [Citation Graph (0, 0)][DBLP ] STTT, 2004, v:5, n:2-3, pp:237-246 [Journal ] Sylvie Boldo , Jean-Christophe Filliâtre Formal Verification of Floating-Point Programs. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Computer Arithmetic, 2007, pp:187-194 [Conf ] Sylvie Boldo , Marc Daumas , Ren-Cang Li Formally Verified Argument Reduction with a Fused-Multiply-Add [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Floats and Ropes: A Case Study for Formal Numerical Program Verification. [Citation Graph (, )][DBLP ] Combining Coq and Gappa for Certifying Floating-Point Programs. [Citation Graph (, )][DBLP ] Formal Proof of a Wave Equation Resolution Scheme: The Method Error. [Citation Graph (, )][DBLP ] Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP ] Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs