C++ Toolbox for Verified Computing: Basic Numerical Problems - Couverture rigide

Hammer, Rolf; Hocks, M.; Kulisch, Ulrich W.; Ratz, D.

 
9783540591108: C++ Toolbox for Verified Computing: Basic Numerical Problems

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3642796532 ISBN 13 :  9783642796531
Editeur : Springer, 2011
Couverture souple