CV Accueil - Archive ouverte HAL

	LEMA: Towards a Language for Reliable Arithmetic Vincent Lefèvre , Philippe Théveny , Florent de Dinechin , Claude-Pierre Jeannerod , Christophe Mouilleron International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩ Communication dans un congrès inria-00542143v1

	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

	LEMA: Towards a Language for Reliable Arithmetic Vincent Lefèvre , Philippe Théveny , Florent de Dinechin , Claude-Pierre Jeannerod , Christophe Mouilleron [Research Report] RR-7258, INRIA. 2010, pp.15 Rapport inria-00473767v1

Vincent Lefèvre