Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per C++ Toolbox for Verified Computing: Basic Numerical...
Foto dell'editore
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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! Codice articolo S_342542255
Compra usato
EUR 55,80
Spedizione EUR 3,16
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I Basic Numerical Problems
Da: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good+. Text clean and tight; no dust jacket; 9.30 X 6.20 X 0.70 inches; 382 pages. Codice articolo 208211
Compra usato
EUR 54,29
Spedizione EUR 5,06
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing: Basic Numerical Problems
Da: La bataille des livres, Pradinas, Francia
Valutazione del venditore 5 su 5 stelle
Condizione: Très bon. Pour les expéditions internationales, nous consulter au préalable pour l ajustement des frais de port qui pourront peut-être revus à la baisse/ For international shipments, please contact us in advance to adjust shipping costs. | 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+]. Codice articolo FR-IRI0-O6U6
Compra usato
EUR 95,00
Spedizione EUR 51,00
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili