- 2
- 1
Vincent Lefèvre
3
Documents
Identifiants chercheurs
- vinc17
- 0000-0002-4045-8273
- IdRef : 258258659
Présentation
Publications
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 3
Why and How to Use Arbitrary PrecisionComputing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
Article dans une revue
inria-00543927v1
|
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
|
|
LEMA: Towards a Language for Reliable Arithmetic[Research Report] RR-7258, INRIA. 2010, pp.15
Rapport
inria-00473767v1
|