- 2
- 2
- 2
Vincent Lefèvre
6
Documents
Identifiants chercheurs
- vinc17
- 0000-0002-4045-8273
- IdRef : 258258659
Présentation
Publications
- 4
- 3
- 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
- 6
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point ArithmeticNumerical Algorithms, 2004, 37 (1-4), pp.367-375
Article dans une revue
inria-00099967v1
|
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⟩
Communication dans un congrès
inria-00542143v1
|
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
|
|
LEMA: Towards a Language for Reliable Arithmetic[Research Report] RR-7258, INRIA. 2010, pp.15
Rapport
inria-00473767v1
|
|
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic[Research Report] RR-5406, INRIA. 2004
Rapport
inria-00071249v1
|