Ulrich Kulisch

No biography available.

Works (13)

Cover of Scientific computing with automatic result verification

Scientific computing with automatic result verification

Cover of Perspectives on Enclosure Methods

Perspectives on Enclosure Methods

Cover of Scientific computation with automatic result verification

Scientific computation with automatic result verification

Cover of Perspectives on enclosure methods

Perspectives on enclosure methods

Cover of Grundlagen des numerischen Rechnens

Grundlagen des numerischen Rechnens

Cover of Advanced arithmetic for the digital computer

Advanced arithmetic for the digital computer

Cover of C++ toolbox for verified computing I

C++ toolbox for verified computing I

Cover of Advanced Arithmetic for the Digital Computer

Advanced Arithmetic for the Digital Computer

Cover of Rechnerorientierte Verfahren

Rechnerorientierte Verfahren

Cover of Computer arithmetic in theory and practice

Computer arithmetic in theory and practice

Cover of Numerical Toolbox for Verified Computing I

Numerical Toolbox for Verified Computing I

Cover of C++ Toolbox for Verified Computing I

C++ Toolbox for Verified Computing I

Cover of Computer arithmetic and validity

Computer arithmetic and validity