Ulrich Kulisch
· 23 obras en el catálogo
También catalogado como: Ulrich W. Kulisch
Obras
Advanced arithmetic for the digital computer
2003

Computer arithmetic in theory and practice
1981

Computer arithmetic and validity

Scientific computing with automatic result verification

Perspectives on enclosure methods
Grundlagen der Computer-Arithmetik

C++ toolbox for verified computing I
Wissenschaftliches Rechnen und Programmiersprachen

Advanced Arithmetic for the Digital Computer

Überblicke Mathematik 1998

C++ Toolbox for Verified Computing I

Numerical Toolbox for Verified Computing I

PASCAL-XSC

Perspectives on Enclosure Methods

Rechnerorientierte Verfahren

Scientific Computation with Automatic Result Verification

Rechnerorientierte Verfahren
Computerarithmetic

Scientific computation with automatic result verification
Wissenschaftliches Rechnen Mit Ergebnisverifikation

Advanced arithmetic for the digital computer
Computer arithmetic in theory and practice
