CV Accueil - Archive ouverte HAL

	Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates Guillaume Melquiond , Sylvain Pion RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩ Article dans une revue inria-00071232v2
	The design of the Boost interval arithmetic library Hervé Brönnimann , Guillaume Melquiond , Sylvain Pion Theoretical Computer Science, 2006, Real Numbers and Computers, 351 (1), pp.111-118. ⟨10.1016/j.tcs.2005.09.062⟩ Article dans une revue inria-00344412v1

	Formal certification of arithmetic filters for geometric predicates Guillaume Melquiond , Sylvain Pion 17th IMACS World Congress, 2005, Paris, France Communication dans un congrès inria-00344518v1
	The Boost Interval Arithmetic Library Hervé Brönnimann , Guillaume Melquiond , Sylvain Pion Real Numbers and Computers, 2003, Lyon, France. pp.65-80 Communication dans un congrès inria-00348711v1

	Directed Rounding Arithmetic Operations in C++ Guillaume Melquiond , Sylvain Pion [Research Report] RR-6757, INRIA. 2008, pp.11 Rapport inria-00345094v1
	A Proposal to add Interval Arithmetic to the C++ Standard Library Hervé Brönnimann , Guillaume Melquiond , Sylvain Pion [Research Report] RR-5646, INRIA. 2006 Rapport inria-00071231v1
	A proposal for the C++ standard : Bool_set, multi-valued logic Sylvain Pion , Guillaume Melquiond , Hervé Brönnimann [Research Report] RR-5967, INRIA. 2006, pp.22 Rapport inria-00089230v2

Guillaume Melquiond