C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietma

ISBN 10: 3540591109 / ISBN 13: 9783540591108

Editore: Springer, 1997

Riguardo questo articolo

Very Good. Codice articolo D8S0-3-M-3540591109-4

Dati bibliografici

Titolo: C++ Toolbox for Verified Computing I: Basic ...

Casa editrice: Springer

Data di pubblicazione: 1997

Legatura: Hardcover

Condizione: Very Good

Tipologia articolo: book

Descrizione articolo

Riassunto:

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.