Ulrich Kulisch

Ulrich W. Kulisch is a German mathematician specializing in numerical analysis, including the computer implementation of interval arithmetic.

Ebooks

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Computer Arithmetic in Theory and Practice

C-XSC: A C++ Class Library for Extended Scientific Computing

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units

Rechnerorientierte Verfahren