Algebraic Computation, Numerical Computation and Verified Inclusions

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

Abstract is missing.