Marc Daumas David Lester César Muñoz Verified Real Number Calculations: A Library for Interval Arithmetic. 226-237 2009 58 IEEE Trans. Computers 2 http://dx.doi.org/10.1109/TC.2008.213 db/journals/tc/tc58.html#DaumasLM09