Marc Daumas Guillaume Melquiond César Muñoz Guaranteed Proofs Using Interval Arithmetic. 188-195 2005 conf/arith/2005 IEEE Symposium on Computer Arithmetic http://doi.ieeecomputersociety.org/10.1109/ARITH.2005.25 db/conf/arith/arith2005.html#DaumasMM05