C++ Toolbox for Verified Computing I (PDF)
Basic Numerical Problems Theory, Algorithms, and Programs
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 130.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „C++ Toolbox for Verified Computing I (PDF)“
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.
Bibliographische Angaben
- Autoren: Rolf Hammer , Matthias Hocks , Ulrich Kulisch , Dietmar Ratz
- 2012, 1995, 382 Seiten, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3642796516
- ISBN-13: 9783642796517
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 42 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "C++ Toolbox for Verified Computing I"
0 Gebrauchte Artikel zu „C++ Toolbox for Verified Computing I“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "C++ Toolbox for Verified Computing I".
Kommentar verfassen