New Results on Verified Inclusions

Siegfried M. Rump. New Results on Verified Inclusions. In Willard L. Miranker, Richard A. Toupin, editors, Accurate Scientific Computations, Symposium, Bad Neuenahr, FRG, March 12-14, 1985, Proceedings. Volume 235 of Lecture Notes in Computer Science, pages 31-69, Springer, 1985.

Abstract

Abstract is missing.