dblp.uni-trier.dewww.uni-trier.de

Guillaume Melquiond

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEGuillaume Melquiond: Proving Bounds on Real-Valued Functions with Computations. IJCAR 2008: 2-17
7EEFlorent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Certifying floating-point implementations using Gappa CoRR abs/0801.0523: (2008)
6EESylvie 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
5EEMarc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators CoRR abs/cs/0701186: (2007)
2006
4EESylvain Pion, Hervé Brönnimann, Guillaume Melquiond: A Proposal to add Interval Arithmetic to the C++ Standard Library. Reliable Implementation of Real Number Algorithms 2006
3EEFlorent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Assisted verification of elementary functions using Gappa. SAC 2006: 1318-1322
2EEHervé Brönnimann, Guillaume Melquiond, Sylvain Pion: The design of the Boost interval arithmetic library. Theor. Comput. Sci. 351(1): 111-118 (2006)
2005
1EEMarc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195

Coauthor Index

1Sylvie Boldo [6]
2Hervé Brönnimann [2] [4]
3Marc Daumas [1] [5]
4Florent de Dinechin [3] [7]
5Christoph Quirin Lauter [3] [7]
6César Muñoz [1]
7Sylvain Pion [2] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)