C++ toolbox for verified computing I - Info and Reading Options
basic numerical problems
By Rolf Hammer, Matthias Hocks, Ulrich Kulisch and Dietmar Ratz
"C++ toolbox for verified computing I" was published by Springer in 1995 - Berlin, it has 377 pages and the language of the book is English.
“C++ toolbox for verified computing I” Metadata:
- Title: ➤ C++ toolbox for verified computing I
- Authors: Rolf HammerMatthias HocksUlrich KulischDietmar Ratz
- Language: English
- Number of Pages: 377
- Publisher: Springer
- Publish Date: 1995
- Publish Location: Berlin
“C++ toolbox for verified computing I” Subjects and Themes:
- Subjects: ➤ C++ (Computer program language) - C & Visual C - Mathematical theory of computation - Utilities & tools - Applied - Mathematical Analysis - Number Systems - C++ und C-XSC - Intervallarithmetik - Mathematics / Number Systems - Selbstverifizierende Numerik - Verified scientific computing - Verifiziertes wissenschaftliches Rechnen - automatic result - automatische Ergebnisverifikation - c++ and c-xsc - interval arithmetic - self-validating numerics - simplification of programming - verification - Mathematics
Edition Specifications:
- Pagination: xv, 377 p. :
Edition Identifiers:
- The Open Library ID: OL1278428M - OL19498815W
- Online Computer Library Center (OCLC) ID: 32166841
- Library of Congress Control Number (LCCN): 95010173
- ISBN-10: 0387591109 - 3540591109
- All ISBNs: 0387591109 - 3540591109
AI-generated Review of “C++ toolbox for verified computing I”:
"C++ toolbox for verified computing I" Description:
The Open Library:
This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verfication or any familiarity with interval analysis. The necessary concepts are introduced.
Read “C++ toolbox for verified computing I”:
Read “C++ toolbox for verified computing I” by choosing from the options below.
Search for “C++ toolbox for verified computing I” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “C++ toolbox for verified computing I” in Libraries Near You:
Read or borrow “C++ toolbox for verified computing I” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “C++ toolbox for verified computing I” at a library near you.
Buy “C++ toolbox for verified computing I” online:
Shop for “C++ toolbox for verified computing I” on popular online marketplaces.
- Ebay: New and used books.