Algorithms for verified inclusions: theory and practice Rump, Siegfried M. 1988 - TUHH Open Research - frei zugänglich