Books by Ulrich Kulisch
Rechnerorientierte Verfahren
Computer arithmetic and validity
Advanced arithmetic for the digital computer
Perspectives on enclosure methods
Überblicke Mathematik 1998
C++ Toolbox for Verified Computing I
Numerical Toolbox for Verified Computing I
Scientific computing with automatic result verification
PASCAL-XSC
Wissenschaftliches Rechnen Mit
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Scientific computation with automatic result verification
Computerarithmetic
Computerarithmetic
Wissenschaftliches Rechnen und
Wissenschaftliches Rechnen und Programmiersprachen
Computer arithmetic in theory and practice
Grundlagen der Computer-Arithmetik
Grundlagen des numerischen Rechnens