Publications HAL

2020

Preprints, Working Papers, ...

titre
Alternative Split Functions and Dekker's Product
auteur
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
article
2020
identifiant
hal-02470782
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02470782/file/SplitDirectedRoundings-HAL.pdf 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
https://hal.archives-ouvertes.fr/hal-02001080/file/MultConstComplex.pdf 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
BibTex

2017

Journal articles

titre
Correctly Rounded Arbitrary-Precision Floating-Point Summation
auteur
Vincent Lefèvre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 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
https://hal.inria.fr/hal-01394289/file/ieeetc2017-mpfrsum-auth.pdf 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
https://hal.inria.fr/hal-01502326/file/mpfr4.pdf 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
https://hal.inria.fr/hal-01242127/file/arith23.pdf 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, Springer Verlag, 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00945033/file/x-puissance-n-revision.pdf 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
https://hal.inria.fr/hal-00763954/file/arith21.pdf 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
https://hal.inria.fr/hal-00864580/file/ieeetc-sipe-final.pdf 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, Institute of Electrical and Electronics Engineers, 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00331519/file/TC-2010-04-0248.R1.pdf 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
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
https://hal.inria.fr/hal-00650659/file/RR-7832.pdf 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, Association for Computing Machinery, 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
BibTex
titre
Why and How to Use Arbitrary Precision
auteur
Kaveh Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
article
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 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
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
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
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
https://hal.inria.fr/inria-00475279/file/RR-7262.pdf 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
https://hal.inria.fr/inria-00473767/file/RR-7258.pdf BibTex

2009

Journal articles

titre
Erreurs en arithmétique des ordinateurs
auteur
Vincent Lefèvre, Jean-Michel Muller
article
Images des Mathématiques, CNRS, 2009
identifiant
hal-00598554
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00598554/file/Erreurs_en_arithmA_tique_des_ordinateurs_-_Images_des_mathA_matiques.pdf 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, Institute of Electrical and Electronics Engineers, 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
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
https://hal.inria.fr/inria-00367584/file/arith19.pdf 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
https://hal.inria.fr/inria-00068731/file/decimalexp-postprint.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278430/file/power-journalV9.pdf 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, Association for Computing Machinery, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
identifiant
inria-00103655
DOI
DOI : 10.1145/1236463.1236468
Accès au bibtex
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
https://hal.inria.fr/inria-00126474/file/RR-6106.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00169409/file/power-rr.lip.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00150406/file/RRpower.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00149414/file/underflow.pdf 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, Institute of Electrical and Electronics Engineers, 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
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
https://hal.inria.fr/inria-00000025/file/arith17.pdf 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
https://hal.inria.fr/inria-00000159/file/intdiv-mul.pdf 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
https://hal.inria.fr/inria-00070403/file/RR-5604.pdf 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
https://hal.inria.fr/inria-00070266/file/RR-5753.pdf 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, Springer Verlag, 2004, 37 (1-4), pp.367-375
identifiant
inria-00099967
Accès au bibtex
BibTex
titre
Le « dilemme du fabricant de tables » ou comment calculer juste
auteur
Anita Castiel, Vincent Lefèvre, Paul Zimmermann
article
Interstices, INRIA, 2004
identifiant
inria-00000567
Accès au bibtex
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
https://hal.inria.fr/inria-00000026/file/rnc6.pdf 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
https://hal.inria.fr/inria-00099920/file/A04-R-453.pdf 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
https://hal.inria.fr/inria-00071477/file/RR-5105.pdf 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
https://hal.inria.fr/inria-00071249/file/RR-5406.pdf BibTex

2003

Journal articles

titre
On-the-Fly Range Reduction
auteur
Vincent Lefèvre, Jean-Michel Muller
article
Journal of VLSI Signal Processing / J VLSI Sign Process Syst Sign Image Video Technol, Kluwer Academic Publishers, 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
BibTex

Conference papers

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
BibTex
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
BibTex

2002

Reports

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
https://hal.inria.fr/inria-00071999/file/RR-4586.pdf BibTex
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
https://hal.inria.fr/inria-00072095/file/RR-4493.pdf 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
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
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
https://hal.inria.fr/inria-00072430/file/RR-4192.pdf BibTex

2000

Reports

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
https://hal.inria.fr/inria-00072594/file/RR-4044.pdf BibTex
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
https://hal.inria.fr/inria-00072595/file/RR-4043.pdf BibTex