The SCEAS System
Navigation Menu

Search the dblp DataBase


Guillaume Melquiond: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.014secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002