Scientific computation with automatic result verification - Kulisch, Ulrich W; Stetter, Hans J.; Universität Karlsruhe. Institut für Angewandte Mathematik; GAMM Committee on "Computer Arithmetic and Scientific Computation" (Computing supplementum, 1988)