Rechnerorientierte VerfahrenBernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch, Siegfried M. Rump, Bruno Buchberger · First published 2013Open the Tome
Advanced arithmetic for the digital computerUlrich Kulisch · First published 2002 · Latest edition 2003Open the Tome
C++ toolbox for verified computing IRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · First published 1995Open the Tome
Scientific computing with automatic result verificationUlrich Kulisch · First published 1993Open the Tome
Pascal-XscRudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich · First published 1991Open the Tome
Wissenschaftliches Rechnen Mit ErgebnisverifikationUlrich Kulisch · First published 1989Open the Tome
Scientific Computation with Automatic Result VerificationUlrich Kulisch · First published 1988Open the Tome
ComputerarithmeticEdgar W. Kaucher, Ulrich Kulisch, Christian Ullrich · First published 1987Open the Tome
Rechnerorientierte VerfahrenBruno Buchberger, Bernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch · First published 1986Open the Tome