Check nearby libraries
Buy this book
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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
1995, Springer Berlin Heidelberg
electronic resource :
in English
3642796516 9783642796517
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
External Links
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?History
- Created June 29, 2019
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
February 27, 2022 | Edited by ImportBot | import existing book |
June 29, 2019 | Created by MARC Bot | Imported from Internet Archive item record |