- 1
Guillaume Melquiond
1
Documents
Publications
- 1
- 1
- 1
|
Guaranteed Proofs Using Interval Arithmetic17th IEEE Symposium on Computer Arithmetic, 2005, Cape Cod, Massachusetts, United States. pp.188-195, ⟨10.1109/ARITH.2005.25⟩
Communication dans un congrès
hal-00164621v1
|