- 1
- 1
Guillaume Melquiond
2
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
|
Certifying the floating-point implementation of an elementary function using GappaIEEE Transactions on Computers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩
Article dans une revue
ensl-00200830v2
|
|
Assisted verification of elementary functionsRR-5683, INRIA. 2005, pp.17
Rapport
inria-00070330v1
|