Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Validated Numerics - Warwick Tucker

Validated Numerics

A Short Introduction to Rigorous Computations

(Autor)

Buch | Softcover
152 Seiten
2023
Princeton University Press (Verlag)
978-0-691-24765-6 (ISBN)
CHF 66,30 inkl. MwSt
Provides a comprehensive introduction to the theory and practice of validated numerics, a field that combines the strengths of scientific computing and pure mathematics. This title features many examples, exercises, and computer labs using MATLAB/C++. It is suitable for graduate students and advanced undergraduates.
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

Warwick Tucker is professor of mathematics and principal investigator for the Computer-Aided Proofs in Analysis (CAPA) Group at Uppsala University in Sweden. He has been honored with several awards, including the European Mathematical Society's Prize for Distinguished Contributions in Mathematics, the R. E. Moore Prize for Applications of Interval Analysis, and the Swedish Mathematical Society's Wallenberg Prize.

Erscheinungsdatum
Zusatzinfo 41 b/w illus. 12 tables.
Verlagsort New Jersey
Sprache englisch
Maße 156 x 235 mm
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Angewandte Mathematik
Naturwissenschaften
ISBN-10 0-691-24765-X / 069124765X
ISBN-13 978-0-691-24765-6 / 9780691247656
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Eine Einführung in die Systemtheorie

von Margot Berghaus

Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95