Items related to C++ Toolbox for Verified Computing I: Basic Numerical...

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

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

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2011
  • ISBN 10 3642796524
  • ISBN 13 9783642796524
  • BindingPaperback
  • LanguageEnglish
  • Number of pages404

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3642796532 ISBN 13:  9783642796531
Publisher: Springer, 2011
Softcover