Siegfried M. Rump. Verification methods: rigorous results using floating-point arithmetic. In Wolfram Koepf, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings. pages 3-4, ACM, 2010. [doi]
Abstract is missing.