U
Ulrich Kulisch
16 works on record
Works
Computer arithmetic in theory and practice
1981
Advanced Arithmetic for the Digital Computer
Computer arithmetic and validity
Scientific computing with automatic result verification
Perspectives on enclosure methods
C++ toolbox for verified computing I
Scientific Computation with Automatic Result Verification
Numerical Toolbox for Verified Computing I
Rechnerorientierte Verfahren
Überblicke Mathematik 1998
PASCAL-XSC
Grundlagen des numerischen Rechnens
Wissenschaftliches Rechnen und Programmiersprachen
Wissenschaftliches Rechnen und Programmiersprachen
Grundlagen der Computer-Arithmetik
Grundlagen der Computer-Arithmetik
Computerarithmetic
Computerarithmetic
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Wissenschaftliches Rechnen Mit Ergebnisverifikation