Accéder directement au contenu

Guillaume Melquiond

1
Documents

Publications

832231
Image document

Guaranteed Proofs Using Interval Arithmetic

Marc Daumas , Guillaume Melquiond , César Muñoz
17th 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