booktheque

Wissenschaftliches Rechnen Mit Ergebnisverifikation

Ulrich Kulisch · 1990

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
1990
Language
German
Publisher
de Gruyter GmbH, Walter
Editions
2
ISBN
9783112576212

Data source: Wikidata

More by Ulrich Kulisch

Advanced Arithmetic for the Digital Computer
Ulrich Kulisch · 2002
Perspectives on enclosure methods
Ulrich Kulisch · 2001
Perspectives on Enclosure Methods
Ulrich Kulisch · 2001
C++ Toolbox for Verified Computing I
Ulrich Kulisch · 1995
Numerical Toolbox for Verified Computing I
Ulrich Kulisch · 1993
Computer arithmetic and validity
Ulrich Kulisch · 2008
Scientific computation with automatic result verification
Ulrich Kulisch · 1988
Scientific Computation with Automatic Result Verification
Ulrich Kulisch · 1988