- 1
Guillaume Melquiond
1
Documents
Publications
- 1
- 1
- 1
|
Certification of bounds on expressions involving rounded operatorsACM Transactions on Mathematical Software, 2010, 37 (1), pp.1-20. ⟨10.1145/1644001.1644002⟩
Article dans une revue
hal-00127769v3
|