Siegfried M. Rump. Algebraic Computation, Numerical Computation and Verified Inclusions. In Rainer Janßen, editor, Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings. Volume 296 of Lecture Notes in Computer Science, pages 177-197, Springer, 1987.
Abstract is missing.