Documentation
Français (FR)

Anglais (EN)

Vincent Lefèvre

20

Documents

Identifiants chercheurs

Présentation

Publications

jean-michel-muller

	Accurate calculation of Euclidean Norms using Double-word arithmetic Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller , Joris Picot , Laurence Rideau ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩ Article dans une revue hal-03482567v2
	On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic Stef Graillat , Vincent Lefèvre , Jean-Michel Muller Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩ Article dans une revue ensl-00945033v2
	On the computation of correctly-rounded sums Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller IEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩ Article dans une revue ensl-00331519v2
	Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩ Article dans une revue inria-00388501v1
	Erreurs en arithmétique des ordinateurs Vincent Lefèvre , Jean-Michel Muller Images des Mathématiques, 2009 Article dans une revue hal-00598554v1
	Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol Numerical Algorithms, 2004, 37 (1-4), pp.367-375 Article dans une revue inria-00099967v1
	On-the-Fly Range Reduction Vincent Lefèvre , Jean-Michel Muller Journal of Signal Processing Systems, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩ Article dans une revue inria-00099524v1

	Alternative Split Functions and Dekker's Product Stef Graillat , Vincent Lefèvre , Jean-Michel Muller ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩ Communication dans un congrès hal-02470782v2
	Accurate Complex Multiplication in Floating-Point Arithmetic Vincent Lefèvre , Jean-Michel Muller ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7 Communication dans un congrès hal-02001080v2
	On the Computation of Correctly-Rounded Sums Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller 19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States Communication dans un congrès inria-00367584v2
	Worst Cases for Correct Rounding of the Elementary Functions in Double Precision Vincent Lefèvre , Jean-Michel Muller 15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118 Communication dans un congrès inria-00100547v1

	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

	Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic Jean-Michel Muller , Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet 2008 Pré-publication, Document de travail ensl-00278430v1
	Some notes on the possible under/overflow of the most common elementary functions Jean-Michel Muller , Vincent Lefèvre 2007 Pré-publication, Document de travail ensl-00149414v1
	Computing Integer Powers in Floating-Point Arithmetic Peter Kornerup , Vincent Lefèvre , Jean-Michel Muller 2007 Pré-publication, Document de travail ensl-00150406v1

	On the Computation of Correctly-Rounded Sums Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller [Research Report] RR-7262, INRIA. 2010, pp.24 Rapport inria-00475279v1
	Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol [Research Report] RR-5406, INRIA. 2004 Rapport inria-00071249v1
	On-The-Fly Range Reduction Vincent Lefèvre , Jean-Michel Muller [Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000 Rapport inria-00072595v1
	Worst Cases for Correct Rounding of the Elementary Functions in Double Precision Vincent Lefèvre , Jean-Michel Muller [Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000 Rapport inria-00072594v1