Accéder directement au contenu

Guillaume Melquiond

4
Documents

Publications

florent-de-dinechin

Handbook of Floating-point Arithmetic (2nd edition)

 Jean-Michel Muller , Nicolas Brunie , Florent de Dinechin , Claude-Pierre Jeannerod , Mioara Joldes
Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
Ouvrages hal-01766584v1

Handbook of Floating-Point Arithmetic

 Jean-Michel Muller , Nicolas Brisebarre , Florent de Dinechin , Claude-Pierre Jeannerod , Vincent Lefèvre
Birkhauser Boston, pp.572, 2010
Ouvrages ensl-00379167v1
Image document

Certifying the floating-point implementation of an elementary function using Gappa

 Florent de Dinechin , Christoph Lauter , Guillaume Melquiond
IEEE Transactions on Computers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩
Article dans une revue ensl-00200830v2
Image document

Assisted verification of elementary functions

 Florent de Dinechin , Christoph Lauter , Guillaume Melquiond
RR-5683, INRIA. 2005, pp.17
Rapport inria-00070330v1