 | 2009 |
|---|
| 9 |       | Sylvie Boldo,
Jean-Christophe Filliâtre,
Guillaume Melquiond:
Combining Coq and Gappa for Certifying Floating-Point Programs.
Calculemus/MKM 2009: 59-74 |
| 2008 |
|---|
| 8 | | Guillaume Melquiond:
Proving Bounds on Real-Valued Functions with Computations.
IJCAR 2008: 2-17 |
| 7 | | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Certifying floating-point implementations using Gappa
CoRR abs/0801.0523: (2008) |
| 6 | | Sylvie Boldo,
Guillaume Melquiond:
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd.
IEEE Trans. Computers 57(4): 462-471 (2008) |
| 2007 |
|---|
| 5 | | Marc Daumas,
Guillaume Melquiond:
Certification of bounds on expressions involving rounded operators
CoRR abs/cs/0701186: (2007) |
| 2006 |
|---|
| 4 | | Sylvain Pion,
Hervé Brönnimann,
Guillaume Melquiond:
A Proposal to add Interval Arithmetic to the C++ Standard Library.
Reliable Implementation of Real Number Algorithms 2006 |
| 3 | | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Assisted verification of elementary functions using Gappa.
SAC 2006: 1318-1322 |
| 2 | | Hervé Brönnimann,
Guillaume Melquiond,
Sylvain Pion:
The design of the Boost interval arithmetic library.
Theor. Comput. Sci. 351(1): 111-118 (2006) |
| 2005 |
|---|
| 1 | | Marc Daumas,
Guillaume Melquiond,
César Muñoz:
Guaranteed Proofs Using Interval Arithmetic.
IEEE Symposium on Computer Arithmetic 2005: 188-195 |
