Validated Numerics: A Short Introduction to Rigorous Computations

Book Details:

• Book Title: Validated Numerics: A Short Introduction to Rigorous Computation

• Author: Warwick Tucker

• Publisher: Princeton University Press

• Language: English

• ISBN: 9780691147819

• Pages: 152

• Binding: Hardcover

• Release Date: 25-07-2011

• Package Dimensions: 9.4 x 6.4 x 0.6 inches

About the Book:

Validated Numerics provides a comprehensive introduction to the theory and practice of validated numerics, a rapidly growing field that merges scientific computing with pure mathematics. The book focuses on set-valued analysis and introduces a new set of numerical methods that produce efficient and reliable solvers for a variety of problems in nonlinear analysis.

The field of validated numerics has applications in numerous areas, such as pharmaceutics, engineering, weather prediction, and robotics, where fast and precise computations are essential. These methods guarantee accuracy by accounting for all possible sources of error and can find all possible solutions to a problem.

This self-contained primer takes readers from basic to more advanced concepts, providing numerous examples, exercises, and computer labs using MATLAB and C++. It's an excellent resource for anyone entering this field, as well as graduate students and advanced undergraduates seeking an accessible introduction to validated numerics.

Key Features:

• Comprehensive introduction to validated numerics.

• No advanced mathematics or programming skills required.

• Features numerous examples, exercises, and MATLAB/C++ computer labs.

• Includes code snippets for practical implementation.

• Ideal for graduate students and advanced undergraduates.