- 22
- 14
- 5
- 5
- 2
- 1
- 1
Vincent Lefèvre
50
Documents
Researcher identifiers
vinc17
-
0000-0002-4045-8273
- IdRef : 258258659
Presentation
Publications
- 21
- 20
- 8
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 20
- 12
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 6
- 3
- 2
- 5
- 5
- 6
- 3
- 2
- 3
- 2
|
Alternative Split Functions and Dekker's ProductARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩
Conference papers
hal-02470782v2
|
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Conference papers
hal-02001080v2
|
|
Optimized Binary64 and Binary128 Arithmetic with GNU MPFR24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩
Conference papers
hal-01502326v1
|
|
Correctly Rounded Arbitrary-Precision Floating-Point Summation23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩
Conference papers
hal-01242127v3
|
|
SIPE: Small Integer Plus Exponent21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States
Conference papers
hal-00763954v3
|
Generating a Minimal Interval Arithmetic Based on GNU MPFRUncertainty 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⟩
Conference papers
hal-00651939v1
|
|
LEMA: Towards a Language for Reliable ArithmeticInternational Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩
Conference papers
inria-00542143v1
|
|
|
On the Computation of Correctly-Rounded Sums19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
Conference papers
inria-00367584v2
|
|
Worst Cases of a Periodic Function for Large Arguments18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
Conference papers
inria-00126474v2
|
|
New Results on the Distance Between a Segment and Z². Application to the Exact Rounding17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. pp.68-75, ⟨10.1109/ARITH.2005.4⟩
Conference papers
inria-00000025v1
|
|
The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145
Conference papers
inria-00000026v1
|
|
Toward the Integration of Numerical Computations into the OMSCS Framework7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79
Conference papers
inria-00099920v1
|
Multiplication by an Integer Constant: Lower Bounds on the Code Length5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146
Conference papers
inria-00099684v1
|
|
Worst Cases and Lattice Reduction16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147
Conference papers
inria-00099572v1
|
|
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
Conference papers
inria-00100547v1
|
Handbook of Floating-point Arithmetic (2nd edition)Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
Books
hal-01766584v1
|
|
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010
Books
ensl-00379167v1
|
|
Worst Cases for the Exponential Function in the IEEE 754r decimal64 FormatP. 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⟩
Book sections
inria-00068731v2
|
|
The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor2005
Other publications
inria-00000159v1
|
|
Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding2013
Preprints, Working Papers, ...
hal-00864580v1
|
|
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic2008
Preprints, Working Papers, ...
ensl-00278430v1
|
|
An efficient rounding boundary test for pow(x,y) in double precision2007
Preprints, Working Papers, ...
ensl-00169409v2
|
|
Some notes on the possible under/overflow of the most common elementary functions2007
Preprints, Working Papers, ...
ensl-00149414v1
|
|
Computing Integer Powers in Floating-Point Arithmetic2007
Preprints, Working Papers, ...
ensl-00150406v1
|