- 14
- 4
- 1
- 1
Vincent Lefèvre
20
Documents
Identifiants chercheurs
- vinc17
- 0000-0002-4045-8273
- IdRef : 258258659
Présentation
Publications
- 12
- 8
- 4
- 3
- 3
- 3
- 3
- 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
- 20
- 6
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 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⟩
Communication dans un congrès
hal-02470782v2
|
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Communication dans un congrès
hal-02001080v2
|
|
On the Computation of Correctly-Rounded Sums19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
Communication dans un congrès
inria-00367584v2
|
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
Communication dans un congrès
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⟩
Ouvrages
hal-01766584v1
|
|
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010
Ouvrages
ensl-00379167v1
|
|
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic2008
Pré-publication, Document de travail
ensl-00278430v1
|
|
Computing Integer Powers in Floating-Point Arithmetic2007
Pré-publication, Document de travail
ensl-00150406v1
|
|
Some notes on the possible under/overflow of the most common elementary functions2007
Pré-publication, Document de travail
ensl-00149414v1
|
|
On the Computation of Correctly-Rounded Sums[Research Report] RR-7262, INRIA. 2010, pp.24
Rapport
inria-00475279v1
|
|
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic[Research Report] RR-5406, INRIA. 2004
Rapport
inria-00071249v1
|
|
On-The-Fly Range Reduction[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
Rapport
inria-00072595v1
|
|
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000
Rapport
inria-00072594v1
|