Items related to C++ Toolbox for Verified Computing: Basic Numerical...
Synopsis
This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. 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.
"synopsis" may belong to another edition of this title.
From the Back Cover
This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, 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 verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts.
"About this title" may belong to another edition of this title.
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Publication date1995
- ISBN 10 3540591109
- ISBN 13 9783540591108
- BindingHardcover
- LanguageEnglish
- Number of pages400
Other Popular Editions of the Same Title
Search results for C++ Toolbox for Verified Computing: Basic Numerical...
Stock Image
C++ Toolbox for Verified Computing: Basic Numerical Problems
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1995
ISBN 10: 3540591109
ISBN 13: 9783540591108
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-578-798
Quantity: 1 available
Stock Image
C++ Toolbox for Verified Computing I Basic Numerical Problems
Seller: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good+. Text clean and tight; no dust jacket; 9.30 X 6.20 X 0.70 inches; 382 pages. Seller Inventory # 208211
Quantity: 1 available
Stock Image
C++ Toolbox for Verified Computing: Basic Numerical Problems
Seller: La bataille des livres, Pradinas, France
Seller rating 5 out of 5 stars
Condition: Très bon. C++ Toolbox for Verified Computing: Basic Numerical Problems | Hammer, Hocks, Kulisch, Ratz | Springer, 1995. In-8° cartonné, 377 pages. Couverture propre. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général pour cet ouvrage [BA 46+]. Seller Inventory # FR-IRI0-O6U6
Quantity: 1 available
Stock Image
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_342542255
Quantity: 1 available
Stock Image
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-3540591109-4
Quantity: 1 available