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

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

ISBN 10: 3540591109 / ISBN 13: 9783540591108

Edité par Springer, 1997

A propos de cet article

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!

N° de réf. du vendeur S_342542255

Détails bibliographiques

• Titre: C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
• Éditeur: Springer
• Date de parution: 1997
• Langue: anglais
• ISBN à 10 chiffres: 3540591109
• ISBN à 13 chiffres: 9783540591108
• Reliure: Hardcover
• État de l'article: Good

A propos de ce titre

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.