Guaranteed Proofs Using Interval Arithmetic.
Marc Daumas, Guillaume Melquiond, Csar A. Muoz
VenueCARITH
Year2005
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/DaumasMM05 ↗
Browse the full ARITH paper archive.
Marc Daumas, Guillaume Melquiond, Csar A. Muoz
Browse the full ARITH paper archive.