Contributions

  • Hammer, R. 1961- - Contributor

Publication

1995 - Springer, Berlin

Language

English

Word Count

94,250 words, Guess

Page Count

377 pages

Identifiers

  • Open LibraryOL1278428M
  • ISBN-100387591109
  • OCLC Control Number32166841
  • Library of Congress Control Number95010173
  • Goodreads3097713

Classifications

  • DDC519.4/0285/5133
  • LCCQA76.73.C153 C18 1995

Alternate 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.

Subjects

Topics

AppliedMathematicsC & Visual CverificationC++ und C-XSCc++ and c-xscNumber Systems

Other Editions

  • C++ toolbox for verified computing I: basic numerical problemsSpringer1995-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!