2008 |
8 | EE | Guillaume Melquiond:
Proving Bounds on Real-Valued Functions with Computations.
IJCAR 2008: 2-17 |
7 | EE | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Certifying floating-point implementations using Gappa
CoRR abs/0801.0523: (2008) |
6 | EE | 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 | EE | Marc Daumas,
Guillaume Melquiond:
Certification of bounds on expressions involving rounded operators
CoRR abs/cs/0701186: (2007) |
2006 |
4 | EE | 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 | EE | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Assisted verification of elementary functions using Gappa.
SAC 2006: 1318-1322 |
2 | EE | 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 | EE | Marc Daumas,
Guillaume Melquiond,
César Muñoz:
Guaranteed Proofs Using Interval Arithmetic.
IEEE Symposium on Computer Arithmetic 2005: 188-195 |