- 3
- 1
Vincent Lefèvre
4
Documents
Identifiants chercheurs
- vinc17
- 0000-0002-4045-8273
- IdRef : 258258659
Présentation
Publications
- 4
- 4
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
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
|
|
An efficient rounding boundary test for pow(x,y) in double precisionIEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
Article dans une revue
inria-00583988v1
|
|
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic2008
Pré-publication, Document de travail
ensl-00278430v1
|
|
An efficient rounding boundary test for pow(x,y) in double precision2007
Pré-publication, Document de travail
ensl-00169409v2
|