2024
Preprints, Working Papers, ...
- titre
- An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy
- auteur
- Vincent Lefèvre
- article
- 2024
- identifiant
- hal-04566768
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Accurate calculation of Euclidean Norms using Double-word arithmetic
- auteur
- Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
- article
- ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩
- identifiant
- hal-03482567
- DOI
- DOI : 10.1145/3568672
- Accès au texte intégral et bibtex
-
Software
- titre
- GNU MPFR
- auteur
- Guillaume Hanrot, Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny
- article
- 2023, ⟨swh:1:rel:b5e308c5dd459a81d8523e1dcb84c19dbc47b51b;origin=https://gitlab.inria.fr/mpfr/mpfr;visit=swh:1:snp:15595615280f9f91d107c1f4e9fa915fda0076dc⟩
- identifiant
- hal-03940504
- Accès au bibtex
-
2020
Conference papers
- titre
- Alternative Split Functions and Dekker's Product
- auteur
- Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
- article
- ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩
- identifiant
- hal-02470782
- DOI
- DOI : 10.1109/ARITH48897.2020.00015
- Accès au texte intégral et bibtex
-
2019
Conference papers
- titre
- Accurate Complex Multiplication in Floating-Point Arithmetic
- auteur
- Vincent Lefèvre, Jean-Michel Muller
- article
- ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
- identifiant
- hal-02001080
- Accès au texte intégral et bibtex
-
2018
Books
- titre
- Handbook of Floating-point Arithmetic (2nd edition)
- auteur
- Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
- article
- Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
- identifiant
- hal-01766584
- DOI
- DOI : 10.1007/978-3-319-76526-6
- Accès au bibtex
-
2017
Journal articles
- titre
- Correctly Rounded Arbitrary-Precision Floating-Point Summation
- auteur
- Vincent Lefèvre
- article
- IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩
- identifiant
- hal-01394289
- DOI
- DOI : 10.1109/TC.2017.2690632
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Optimized Binary64 and Binary128 Arithmetic with GNU MPFR
- auteur
- Vincent Lefèvre, Paul Zimmermann
- article
- 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩
- identifiant
- hal-01502326
- DOI
- DOI : 10.1109/ARITH.2017.28
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- Correctly Rounded Arbitrary-Precision Floating-Point Summation
- auteur
- Vincent Lefèvre
- article
- 23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩
- identifiant
- hal-01242127
- DOI
- DOI : 10.1109/ARITH.2016.9
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
- auteur
- Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
- article
- Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩
- identifiant
- ensl-00945033
- DOI
- DOI : 10.1007/s11075-015-9967-8
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- SIPE: Small Integer Plus Exponent
- auteur
- Vincent Lefèvre
- article
- 21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States
- identifiant
- hal-00763954
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding
- auteur
- Vincent Lefèvre
- article
- 2013
- identifiant
- hal-00864580
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- On the computation of correctly-rounded sums
- auteur
- Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
- article
- IEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
- identifiant
- ensl-00331519
- DOI
- DOI : 10.1109/TC.2011.27
- Accès au texte intégral et bibtex
-
2011
Conference papers
- titre
- Generating a Minimal Interval Arithmetic Based on GNU MPFR
- auteur
- Vincent Lefèvre
- article
- 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⟩
- identifiant
- hal-00651939
- DOI
- DOI : 10.4230/DagRep.1.9.26
- Accès au bibtex
-
Reports
- titre
- SIPE: Small Integer Plus Exponent
- auteur
- Vincent Lefèvre
- article
- [Research Report] RR-7832, INRIA. 2011, pp.21
- identifiant
- hal-00650659
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
- auteur
- Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
- article
- ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
- identifiant
- inria-00388501
- DOI
- DOI : 10.1145/1644001.1644005
- Accès au bibtex
-
- titre
- Why and How to Use Arbitrary Precision
- auteur
- Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
- article
- Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
- identifiant
- inria-00543927
- DOI
- DOI : 10.1109/MCSE.2010.73
- Accès au bibtex
-
Conference papers
- titre
- LEMA: Towards a Language for Reliable Arithmetic
- auteur
- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
- article
- International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩
- identifiant
- inria-00542143
- DOI
- DOI : 10.1145/1838599.1838622
- Accès au bibtex
-
Books
- titre
- Handbook of Floating-Point Arithmetic
- auteur
- Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
- article
- Birkhauser Boston, pp.572, 2010
- identifiant
- ensl-00379167
- Accès au bibtex
-
Reports
- titre
- On the Computation of Correctly-Rounded Sums
- auteur
- Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
- article
- [Research Report] RR-7262, INRIA. 2010, pp.24
- identifiant
- inria-00475279
- Accès au texte intégral et bibtex
-
- titre
- LEMA: Towards a Language for Reliable Arithmetic
- auteur
- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
- article
- [Research Report] RR-7258, INRIA. 2010, pp.15
- identifiant
- inria-00473767
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- Erreurs en arithmétique des ordinateurs
- auteur
- Vincent Lefèvre, Jean-Michel Muller
- article
- Images des Mathématiques, 2009
- identifiant
- hal-00598554
- Accès au texte intégral et bibtex
-
- titre
- An efficient rounding boundary test for pow(x,y) in double precision
- auteur
- Christoph Quirin Lauter, Vincent Lefèvre
- article
- IEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
- identifiant
- inria-00583988
- DOI
- DOI : 10.1109/TC.2008.202
- Accès au bibtex
-
Conference papers
- titre
- On the Computation of Correctly-Rounded Sums
- auteur
- Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
- article
- 19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
- identifiant
- inria-00367584
- Accès au texte intégral et bibtex
-
2008
Book sections
- titre
- Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
- auteur
- Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
- article
- 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⟩
- identifiant
- inria-00068731
- DOI
- DOI : 10.1007/978-3-540-85521-7_7
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
- auteur
- Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet
- article
- 2008
- identifiant
- ensl-00278430
- Accès au texte intégral et bibtex
-
2007
Journal articles
- titre
- MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
- auteur
- Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann
- article
- ACM Transactions on Mathematical Software, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
- identifiant
- inria-00103655
- DOI
- DOI : 10.1145/1236463.1236468
- Accès au bibtex
-
Conference papers
- titre
- Worst Cases of a Periodic Function for Large Arguments
- auteur
- Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
- article
- 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
- identifiant
- inria-00126474
- DOI
- DOI : 10.1109/ARITH.2007.37
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- An efficient rounding boundary test for pow(x,y) in double precision
- auteur
- Christoph Lauter, Vincent Lefèvre
- article
- 2007
- identifiant
- ensl-00169409
- Accès au texte intégral et bibtex
-
- titre
- Computing Integer Powers in Floating-Point Arithmetic
- auteur
- Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller
- article
- 2007
- identifiant
- ensl-00150406
- Accès au texte intégral et bibtex
-
- titre
- Some notes on the possible under/overflow of the most common elementary functions
- auteur
- Jean-Michel Muller, Vincent Lefèvre
- article
- 2007
- identifiant
- ensl-00149414
- Accès au texte intégral et bibtex
-
2005
Journal articles
- titre
- Searching Worst Cases of a One-Variable Function Using Lattice Reduction
- auteur
- Damien Stehlé, Paul Zimmermann, Vincent Lefèvre
- article
- IEEE Transactions on Computers, 2005, 54 (3), pp.340-346. ⟨10.1109/TC.2005.55⟩
- identifiant
- inria-00000379
- DOI
- DOI : 10.1109/TC.2005.55
- Accès au bibtex
-
Conference papers
- titre
- New Results on the Distance Between a Segment and Z². Application to the Exact Rounding
- auteur
- Vincent Lefèvre
- article
- 17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. pp.68-75, ⟨10.1109/ARITH.2005.4⟩
- identifiant
- inria-00000025
- DOI
- DOI : 10.1109/ARITH.2005.4
- Accès au texte intégral et bibtex
-
Other publications
- titre
- The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor
- auteur
- Vincent Lefèvre
- article
- 2005
- identifiant
- inria-00000159
- Accès au texte intégral et bibtex
-
Reports
- titre
- The Euclidean Division Implemented with a Floating-Point Division and a Floor
- auteur
- Vincent Lefèvre
- article
- [Research Report] RR-5604, INRIA. 2005, pp.16
- identifiant
- inria-00070403
- Accès au texte intégral et bibtex
-
- titre
- MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
- auteur
- Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann
- article
- [Research Report] RR-5753, INRIA. 2005, pp.15
- identifiant
- inria-00070266
- Accès au texte intégral et bibtex
-
2004
Journal articles
- titre
- Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
- auteur
- David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
- article
- Numerical Algorithms, 2004, 37 (1-4), pp.367-375
- identifiant
- inria-00099967
- Accès au bibtex
-
- titre
- Le « dilemme du fabricant de tables » ou comment calculer juste
- auteur
- Anita Castiel, Vincent Lefèvre, Paul Zimmermann
- article
- Interstices, 2004
- identifiant
- inria-00000567
- Accès au bibtex
-
Conference papers
- titre
- The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
- auteur
- Vincent Lefèvre
- article
- 6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145
- identifiant
- inria-00000026
- Accès au texte intégral et bibtex
-
- titre
- Toward the Integration of Numerical Computations into the OMSCS Framework
- auteur
- Jacques Calmet, Vincent Lefèvre
- article
- 7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79
- identifiant
- inria-00099920
- Accès au texte intégral et bibtex
-
Reports
- titre
- Arithmétique flottante
- auteur
- Vincent Lefèvre, Paul Zimmermann
- article
- [Rapport de recherche] RR-5105, INRIA. 2004
- identifiant
- inria-00071477
- Accès au texte intégral et bibtex
-
- titre
- Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
- auteur
- David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
- article
- [Research Report] RR-5406, INRIA. 2004
- identifiant
- inria-00071249
- Accès au texte intégral et bibtex
-
2003
Journal articles
- titre
- On-the-Fly Range Reduction
- auteur
- Vincent Lefèvre, Jean-Michel Muller
- article
- Journal of Signal Processing Systems, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩
- identifiant
- inria-00099524
- DOI
- DOI : 10.1023/A:1021137717282
- Accès au bibtex
-
Conference papers
- titre
- Multiplication by an Integer Constant: Lower Bounds on the Code Length
- auteur
- Vincent Lefèvre
- article
- 5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146
- identifiant
- inria-00099684
- Accès au bibtex
-
- titre
- Worst Cases and Lattice Reduction
- auteur
- Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
- article
- 16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147
- identifiant
- inria-00099572
- Accès au bibtex
-
2002
Reports
- titre
- Multiplication by an Integer Constant: Lower Bounds on the Code Length
- auteur
- Vincent Lefèvre
- article
- [Research Report] RR-4493, INRIA. 2002, pp.15
- identifiant
- inria-00072095
- Accès au texte intégral et bibtex
-
- titre
- Worst Cases and Lattice Reduction
- auteur
- Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
- article
- [Research Report] RR-4586, INRIA. 2002
- identifiant
- inria-00071999
- Accès au texte intégral et bibtex
-
2001
Journal articles
- titre
- Multiplication par une constante
- auteur
- Vincent Lefèvre
- article
- Réseaux et systèmes répartis, calculateurs parallèles, 2001, 13 (4-5), pp.465-484
- identifiant
- inria-00100605
- Accès au bibtex
-
Conference papers
- titre
- Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
- auteur
- Vincent Lefèvre, Jean-Michel Muller
- article
- 15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
- identifiant
- inria-00100547
- Accès au bibtex
-
Reports
- titre
- Multiplication by an Integer Constant
- auteur
- Vincent Lefèvre
- article
- [Research Report] RR-4192, INRIA. 2001
- identifiant
- inria-00072430
- Accès au texte intégral et bibtex
-
2000
Reports
- titre
- On-The-Fly Range Reduction
- auteur
- Vincent Lefèvre, Jean-Michel Muller
- article
- [Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
- identifiant
- inria-00072595
- Accès au texte intégral et bibtex
-
- titre
- Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
- auteur
- Vincent Lefèvre, Jean-Michel Muller
- article
- [Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000
- identifiant
- inria-00072594
- Accès au texte intégral et bibtex
-