C++ toolbox for verified computing I
Subtitle: basic numerical problems
By: R. Hammer ... [et al.].
Contributors: Hammer, R. 1961-
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 377
Subjects: C++ (Computer program language)
Other titles: C++ toolbox for verified computing 1; C++ toolbox for verified computing one
Description: 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. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verfication or any familiarity with interval analysis.

The necessary concepts are introduced.
Notes: Includes bibliographical references (p. [360]-365) and index.