- 4
- 2
Vincent Lefèvre
6
Documents
Identifiants chercheurs
- vinc17
- 0000-0002-4045-8273
- IdRef : 258258659
Présentation
Publications
- 5
- 5
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
|
Accurate calculation of Euclidean Norms using Double-word arithmeticACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩
Article dans une revue
hal-03482567v2
|
|
On the computation of correctly-rounded sumsIEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
Article dans une revue
ensl-00331519v2
|
Computing Correctly Rounded Integer Powers in Floating-Point ArithmeticACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
Article dans une revue
inria-00388501v1
|
|
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
|
|
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic2008
Pré-publication, Document de travail
ensl-00278430v1
|
|
On the Computation of Correctly-Rounded Sums[Research Report] RR-7262, INRIA. 2010, pp.24
Rapport
inria-00475279v1
|