The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sylvie Boldo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Sylvie Boldo, César Muñoz
    Provably faithful evaluation of polynomials. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1328-1332 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]

  11. Floats and Ropes: A Case Study for Formal Numerical Program Verification. [Citation Graph (, )][DBLP]


  12. Combining Coq and Gappa for Certifying Floating-Point Programs. [Citation Graph (, )][DBLP]


  13. Formal Proof of a Wave Equation Resolution Scheme: The Method Error. [Citation Graph (, )][DBLP]


  14. Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]


  15. Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002