C++ Toolbox for Verified Computing : Basic Numerical Problems

Hammer, Rolf/ Hocks, M./ Kulisch, Ulrich W.

Springer-Verlag Berlin and Heidelberg GmbH & Co. K（1995/05発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 400 p.
言語 ENG
商品コード 9783540591108
DDC分類 005.133

Full Description

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.