Ulrich Kulisch profile picture

Ulrich Kulisch

Is this your author profile? Create an account to customize it!

Stand Alone

Computer arithmetic in theory and practice
Computer arithmetic and validity
Scientific computing with automatic result verification
Perspectives on enclosure methods
Überblicke Mathematik 1998
Überblicke Mathematik 1996/97
Jahrbuch Überblicke Mathematik 1995.
Jahrbuch Überblicke Mathematik. 1991
Advanced Arithmetic for the Digital Computer
C++ Toolbox for Verified Computing I
Numerical Toolbox for Verified Computing I
Scientific Computation with Automatic Result Verification
C-XSC A C++ Class Library for Extended Scientific Computing
Advanced arithmetic for the digital computer: design of arithmetic units
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

See All