Guillaume Melquiond

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. J. Autom. Reasoning 50(4): 423-456 (2013)

Guillaume Melquiond, W. Georg Nowak, Paul Zimmermann: Numerical approximation of The Masser-Gramain constant to four decimal digits: δ = 1.819.... Math. Comput. 82(282) (2013)

Daisuke Ishii, Guillaume Melquiond, Shin Nakajima: Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. IFM 2013: 139-153

Guillaume Melquiond: Floating-point arithmetic in the Coq system. Inf. Comput. 216: 14-23 (2012)

François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond: A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. IJCAR 2012: 67-81

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond: Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives. CPP 2012: 289-304

Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Certifying the Floating-Point Implementation of an Elementary Function Using Gappa. IEEE Trans. Computers 60(2): 242-253 (2011)

Sylvie Boldo, Guillaume Melquiond: Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq. IEEE Symposium on Computer Arithmetic 2011: 243-252

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Wave Equation Numerical Resolution: Mathematics and Program. CoRR abs/1112.1795 (2011)

Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres: Handbook of Floating-Point Arithmetic. Birkhäuser 2010, isbn 978-0-8176-4704-9, pp. I-XXIII, 1-572

Marc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. 37(1) (2010)

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP 2010: 147-162

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error. CoRR abs/1001.4898 (2010)

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error. CoRR abs/1005.0824 (2010)

William W. Edmonson, Guillaume Melquiond: IEEE Interval Standard Working Group - P1788: Current Status. IEEE Symposium on Computer Arithmetic 2009: 231-234

Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond: Combining Coq and Gappa for Certifying Floating-Point Programs. Calculemus/MKM 2009: 59-74

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)

Guillaume Melquiond: Proving Bounds on Real-Valued Functions with Computations. IJCAR 2008: 2-17

Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Certifying floating-point implementations using Gappa. CoRR abs/0801.0523 (2008)

Guillaume Melquiond, Sylvain Pion: Formally certified floating-point filters for homogeneous geometric predicates. ITA 41(1): 57-69 (2007)

Marc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators. CoRR abs/cs/0701186 (2007)

Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion: The design of the Boost interval arithmetic library. Theor. Comput. Sci. 351(1): 111-118 (2006)

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

Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Assisted verification of elementary functions using Gappa. SAC 2006: 1318-1322

Marc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195