
Search the dblp DataBase
Guillaume Melquiond:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 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:188195 [Conf]
 Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
Assisted verification of elementary functions using Gappa. [Citation Graph (0, 0)][DBLP] SAC, 2006, pp:13181322 [Conf]
 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:111118 [Journal]
 Marc Daumas, Guillaume Melquiond
Certification of bounds on expressions involving rounded operators [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp: [Journal]
IEEE Interval Standard Working Group  P1788: Current Status. [Citation Graph (, )][DBLP]
Proving Bounds on RealValued Functions with Computations. [Citation Graph (, )][DBLP]
A Proposal to add Interval Arithmetic to the C++ Standard Library. [Citation Graph (, )][DBLP]
Combining Coq and Gappa for Certifying FloatingPoint Programs. [Citation Graph (, )][DBLP]
Formal Proof of a Wave Equation Resolution Scheme: The Method Error. [Citation Graph (, )][DBLP]
Certifying floatingpoint implementations using Gappa [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.014secs, Finished in 0.014secs
