Vincent Lefèvre

Identifiants chercheurs

IdHAL :

vinc17

ORCID :

0000-0002-4045-8273

IdRef :

258258659

Présentation

Publications

Article dans une revue (14)

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
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
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
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
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
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
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 Revolet al. 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 istex 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

Communication dans un congrès (16)

An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy Vincent Lefèvre 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH), Jun 2024, Málaga, Spain. pp.76-79, ⟨10.1109/ARITH61463.2024.00022⟩ Communication dans un congrès hal-04566768v1
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
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
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
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 Mouilleronet al. 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
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 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
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
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
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
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 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
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

Ouvrages (2)

Handbook of Floating-point Arithmetic (2nd edition) Jean-Michel Muller,Nicolas Brunie,Florent de Dinechin,Claude-Pierre Jeannerod,Mioara Joldeset al. 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èvreet al. Birkhauser Boston, pp.572, 2010 Ouvrages ensl-00379167v1

Chapitre d'ouvrage (1)

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

Autre publication scientifique (1)

The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor Vincent Lefèvre 2005 Autre publication scientifique inria-00000159v1

Pré-publication, Document de travail (5)

Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding Vincent Lefèvre 2013 Pré-publication, Document de travail hal-00864580v1
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
An efficient rounding boundary test for pow(x,y) in double precision Christoph Lauter,Vincent Lefèvre 2007 Pré-publication, Document de travail ensl-00169409v2
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

Rapport (12)

SIPE: Small Integer Plus Exponent Vincent Lefèvre [Research Report] RR-7832, INRIA. 2011, pp.21 Rapport (rapport de recherche) hal-00650659v1
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 (rapport de recherche) inria-00475279v1
LEMA: Towards a Language for Reliable Arithmetic Vincent Lefèvre,Philippe Théveny,Florent de Dinechin,Claude-Pierre Jeannerod,Christophe Mouilleronet al. [Research Report] RR-7258, INRIA. 2010, pp.15 Rapport (rapport de recherche) inria-00473767v1
The Euclidean Division Implemented with a Floating-Point Division and a Floor Vincent Lefèvre [Research Report] RR-5604, INRIA. 2005, pp.16 Rapport (rapport de recherche) inria-00070403v1
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 (rapport de recherche) inria-00070266v1
Arithmétique flottante Vincent Lefèvre,Paul Zimmermann [Rapport de recherche] RR-5105, INRIA. 2004 Rapport (rapport de recherche) inria-00071477v1
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour,Guillaume Hanrot,Vincent Lefèvre,Jean-Michel Muller,Nathalie Revolet al. [Research Report] RR-5406, INRIA. 2004 Rapport (rapport de recherche) inria-00071249v1
Multiplication by an Integer Constant: Lower Bounds on the Code Length Vincent Lefèvre [Research Report] RR-4493, INRIA. 2002, pp.15 Rapport (rapport de recherche) inria-00072095v1
Worst Cases and Lattice Reduction Damien Stehlé,Vincent Lefèvre,Paul Zimmermann [Research Report] RR-4586, INRIA. 2002 Rapport (rapport de recherche) inria-00071999v1
Multiplication by an Integer Constant Vincent Lefèvre [Research Report] RR-4192, INRIA. 2001 Rapport (rapport de recherche) inria-00072430v1
On-The-Fly Range Reduction Vincent Lefèvre,Jean-Michel Muller [Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000 Rapport (rapport de recherche) 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 (rapport de recherche) inria-00072594v1