Search the dblp DataBase

Publications of Author

1. Marc Daumas, Guillaume Melquiond, César Muñoz
   Guaranteed Proofs Using Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Computer Arithmetic, 2005, pp:188-195 [Conf]
   
2. Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
   Assisted verification of elementary functions using Gappa. [Citation Graph (0, 0)][DBLP]
   SAC, 2006, pp:1318-1322 [Conf]
   
3. Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
   The design of the Boost interval arithmetic library. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:351, n:1, pp:111-118 [Journal]
   
4. Marc Daumas, Guillaume Melquiond
   Certification of bounds on expressions involving rounded operators [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
5. 
   IEEE Interval Standard Working Group - P1788: Current Status. [Citation Graph (, )][DBLP]
   
   
6. 
   Proving Bounds on Real-Valued Functions with Computations. [Citation Graph (, )][DBLP]
   
   
7. 
   A Proposal to add Interval Arithmetic to the C++ Standard Library. [Citation Graph (, )][DBLP]
   
   
8. 
   Combining Coq and Gappa for Certifying Floating-Point Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Formal Proof of a Wave Equation Resolution Scheme: The Method Error. [Citation Graph (, )][DBLP]
   
   
10. 
    Certifying floating-point implementations using Gappa [Citation Graph (, )][DBLP]
    
    
11. 
    Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]
    
    
12. 
    Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]