Scientific Computation with Automatic Result VerificationUlrich Kulisch
Scientific Computation with Automatic Result Verification
Ulrich Kulisch · 1988
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1988
- Language
- English
- Series
- Computing Supplementum, 0344-8029 -- 6
- Publisher
- Springer Vienna
- Editions
- 3
- Pages
- 244
- ISBN
- 9783709169575
Data source: Wikidata
More by Ulrich Kulisch
Advanced Arithmetic for the Digital ComputerUlrich Kulisch
Advanced Arithmetic for the Digital Computer
Ulrich Kulisch · 2002
Perspectives on enclosure methodsUlrich Kulisch
Perspectives on enclosure methods
Ulrich Kulisch · 2001
Perspectives on Enclosure MethodsUlrich Kulisch
Perspectives on Enclosure Methods
Ulrich Kulisch · 2001
C++ Toolbox for Verified Computing IUlrich Kulisch
C++ Toolbox for Verified Computing I
Ulrich Kulisch · 1995
Numerical Toolbox for Verified Computing IUlrich Kulisch
Numerical Toolbox for Verified Computing I
Ulrich Kulisch · 1993
Computer arithmetic and validityUlrich Kulisch
Computer arithmetic and validity
Ulrich Kulisch · 2008
Scientific computation with automatic result verificationUlrich Kulisch
Scientific computation with automatic result verification
Ulrich Kulisch · 1988
Wissenschaftliches Rechnen Mit ErgebnisverifikationUlrich Kulisch
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Ulrich Kulisch · 1990