Accéder directement au contenu

Vincent Lefèvre

50
Documents
Identifiants chercheurs

Présentation

Publications

Image document

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
Image document

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre
IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩
Article dans une revue hal-01394289v2
Image document

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
Image document

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

Why and How to Use Arbitrary Precision

Kaveh R. Ghazi , Vincent Lefèvre , Philippe Théveny , Paul Zimmermann
Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
Article dans une revue inria-00543927v1

An efficient rounding boundary test for pow(x,y) in double precision

Christoph Quirin Lauter , Vincent Lefèvre
IEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
Article dans une revue inria-00583988v1
Image document

Erreurs en arithmétique des ordinateurs

Vincent Lefèvre , Jean-Michel Muller
Images des Mathématiques, 2009
Article dans une revue hal-00598554v1

MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.

Laurent Fousse , Guillaume Hanrot , Vincent Lefèvre , Patrick Pélissier , Paul Zimmermann
ACM Transactions on Mathematical Software, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
Article dans une revue inria-00103655v1

Searching Worst Cases of a One-Variable Function Using Lattice Reduction

Damien Stehlé , Paul Zimmermann , Vincent Lefèvre
IEEE Transactions on Computers, 2005, 54 (3), pp.340-346. ⟨10.1109/TC.2005.55⟩
Article dans une revue inria-00000379v1

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

Le « dilemme du fabricant de tables » ou comment calculer juste

Anita Castiel , Vincent Lefèvre , Paul Zimmermann
Interstices, 2004
Article dans une revue inria-00000567v1

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

Multiplication par une constante

Vincent Lefèvre
Réseaux et systèmes répartis, calculateurs parallèles, 2001, 13 (4-5), pp.465-484
Article dans une revue inria-00100605v1
Image document

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
Image document

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
Image document

Optimized Binary64 and Binary128 Arithmetic with GNU MPFR

Vincent Lefèvre , Paul Zimmermann
24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩
Communication dans un congrès hal-01502326v1
Image document

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre
23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩
Communication dans un congrès hal-01242127v3
Image document

SIPE: Small Integer Plus Exponent

Vincent Lefèvre
21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States
Communication dans un congrès hal-00763954v3

Generating a Minimal Interval Arithmetic Based on GNU MPFR

Vincent Lefèvre
Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova, Sep 2011, Dagstuhl, Germany. pp.43, ⟨10.4230/DagRep.1.9.26⟩
Communication dans un congrès hal-00651939v1

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
Image document

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
Image document

Worst Cases of a Periodic Function for Large Arguments

Guillaume Hanrot , Vincent Lefèvre , Damien Stehlé , Paul Zimmermann
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
Communication dans un congrès inria-00126474v2
Image document

New Results on the Distance Between a Segment and Z². Application to the Exact Rounding

Vincent Lefèvre
17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. pp.68-75, ⟨10.1109/ARITH.2005.4⟩
Communication dans un congrès inria-00000025v1
Image document

Toward the Integration of Numerical Computations into the OMSCS Framework

Jacques Calmet , Vincent Lefèvre
7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79
Communication dans un congrès inria-00099920v1
Image document

The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)

Vincent Lefèvre
6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145
Communication dans un congrès inria-00000026v1

Worst Cases and Lattice Reduction

Damien Stehlé , Vincent Lefèvre , Paul Zimmermann
16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147
Communication dans un congrès inria-00099572v1

Multiplication by an Integer Constant: Lower Bounds on the Code Length

Vincent Lefèvre
5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146
Communication dans un congrès inria-00099684v1

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
Image document

Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format

Vincent Lefèvre , Damien Stehlé , Paul Zimmermann
P. Hertling; C.M. Hoffmann; W. Luther; N. Revol. Reliable Implementation of Real Number Algorithms: Theory and Practice, 5045, Springer, pp.114-126, 2008, Lecture Notes in Computer Science, 978-3-540-85521-7. ⟨10.1007/978-3-540-85521-7_7⟩
Chapitre d'ouvrage inria-00068731v2
Image document

SIPE: Small Integer Plus Exponent

Vincent Lefèvre
[Research Report] RR-7832, INRIA. 2011, pp.21
Rapport hal-00650659v1
Image document

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
Image document

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
Image document

The Euclidean Division Implemented with a Floating-Point Division and a Floor

Vincent Lefèvre
[Research Report] RR-5604, INRIA. 2005, pp.16
Rapport inria-00070403v1
Image document

MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding

Laurent Fousse , Guillaume Hanrot , Vincent Lefèvre , Patrick Pélissier , Paul Zimmermann
[Research Report] RR-5753, INRIA. 2005, pp.15
Rapport inria-00070266v1
Image document

Arithmétique flottante

Vincent Lefèvre , Paul Zimmermann
[Rapport de recherche] RR-5105, INRIA. 2004
Rapport inria-00071477v1
Image document

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
Image document

Multiplication by an Integer Constant: Lower Bounds on the Code Length

Vincent Lefèvre
[Research Report] RR-4493, INRIA. 2002, pp.15
Rapport inria-00072095v1
Image document

Worst Cases and Lattice Reduction

Damien Stehlé , Vincent Lefèvre , Paul Zimmermann
[Research Report] RR-4586, INRIA. 2002
Rapport inria-00071999v1
Image document

Multiplication by an Integer Constant

Vincent Lefèvre
[Research Report] RR-4192, INRIA. 2001
Rapport inria-00072430v1
Image document

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
Image document

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