Validated Numerics: A Short Introduction to Rigorous Computations

Book Description

This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of computing and pure mathematics. In numerous fields ranging from pharmaceutics and to weather prediction and robotics, fast and precise computations are essential. Based on the theory of set-valued , a new suite of numerical methods is developed, producing efficient and reliable solvers for numerous problems in nonlinear . Validated numerics yields rigorous computations that can find all possible solutions to a problem while taking into account all possible sources of error--fast, and with guaranteed accuracy.

Validated Numerics offers a self-contained primer on the subject, guiding readers from the basics to more advanced concepts and techniques. This book is an essential resource for those entering this fast-developing field, and it is also the ideal textbook for graduate students and advanced undergraduates needing an accessible introduction to the subject. Validated Numerics features many examples, exercises, and computer labs using /C++, as well as detailed appendixes and an extensive bibliography for further reading.

  • Provides a comprehensive, self-contained introduction to validated numerics
  • Requires no advanced mathematics or skills
  • Features many examples, exercises, and computer labs
  • Includes snippets that illustrate implementation
  • Suitable as a textbook for graduate students and advanced undergraduates

Book Details

  • Title: Validated Numerics: A Short Introduction to Rigorous Computations
  • Author:
  • Length: 152 pages
  • Edition: 1
  • Language: English
  • Publisher:
  • Publication Date: 2011-07-25
  • ISBN-10: 0691147817
  • ISBN-13: 9780691147819