Non abbiamo ancora una biografia di Ulrich Kulisch.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Computer arithmetic and validity
2013
Wissenschaftliches Rechnen Mit Ergebnisverifikation
2022
Scientific computation with automatic result verification
1988
Perspectives on enclosure methods
2001
Numerical Toolbox for Verified Computing I
1993
C++ toolbox for verified computing I
1995
Advanced arithmetic for the digital computer
2002
Wissenschaftliches Rechnen und Programmiersprachen
1982
Überblicke Mathematik 1998
1997
Scientific computing with automatic result verification
Rechnerorientierte Verfahren
1986
Grundlagen des numerischen Rechnens
1976
Grundlagen der Computer-Arithmetik
1977
Computerarithmetic
1987
Computer arithmetic in theory and practice
1981
C++ Toolbox for Verified Computing I
PASCAL-XSC
1991
Otium
