Validated Numerics

Validated Numerics
Author :
Publisher : Princeton University Press
Total Pages : 152
Release :
ISBN-10 : 9780691247656
ISBN-13 : 069124765X
Rating : 4/5 (56 Downloads)

Book Synopsis Validated Numerics by : Warwick Tucker

Download or read book Validated Numerics written by Warwick Tucker and published by Princeton University Press. This book was released on 2023-06-06 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 analysis, a new suite of numerical methods is developed, producing efficient and reliable solvers for numerous problems in nonlinear analysis. 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 MATLAB/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 programming skills Features many examples, exercises, and computer labs Includes code snippets that illustrate implementation Suitable as a textbook for graduate students and advanced undergraduates


Validated Numerics Related Books

Validated Numerics
Language: en
Pages: 152
Authors: Warwick Tucker
Categories: Computers
Type: BOOK - Published: 2023-06-06 - Publisher: Princeton University Press

DOWNLOAD EBOOK

A comprehensive, self-contained primer on validated numerics This textbook provides a comprehensive introduction to the theory and practice of validated numeric
Scientific Computing, Validated Numerics, Interval Methods
Language: en
Pages: 385
Authors: Walter Krämer
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Co
Scientific Computing, Computer Arithmetic, and Validated Numerics
Language: en
Pages: 291
Authors: Marco Nehmeier
Categories: Computers
Type: BOOK - Published: 2016-04-08 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full p
Scientific Computing and Validated Numerics
Language: en
Pages: 348
Authors: G. Alefeld
Categories: Mathematics
Type: BOOK - Published: 1996 - Publisher: De Gruyter Akademie Forschung

DOWNLOAD EBOOK

The International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN is held biannually, the fourth conference took place in Wup
Numerical Validation in Current Hardware Architectures
Language: en
Pages: 272
Authors: Annie A.M. Cuyt
Categories: Computers
Type: BOOK - Published: 2009-04-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at D