Validated Numerics: A Short Introduction to Rigorous Computations

by Warwick Tucker

A comprehensive, self-contained primer on validated numerics

This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast and precise computations are essential. Based on the theory of set-valued...

• Format: Paperback
• Language: English
• ISBN: 069124765X
• ISBN13: 9780691247656
• Release Date: June 2023
• Publisher: Princeton University Press
• Length: 152 Pages
• Weight: 0.15 lbs.
• Dimensions: 0.4" x 9.0" x 6.1"