Muutke küpsiste eelistusi

Validated Numerics: A Short Introduction to Rigorous Computations [Pehme köide]

  • Formaat: Paperback / softback, 152 pages, kõrgus x laius: 235x156 mm, 41 b/w illus. 12 tables.
  • Ilmumisaeg: 06-Jun-2023
  • Kirjastus: Princeton University Press
  • ISBN-10: 069124765X
  • ISBN-13: 9780691247656
  • Formaat: Paperback / softback, 152 pages, kõrgus x laius: 235x156 mm, 41 b/w illus. 12 tables.
  • Ilmumisaeg: 06-Jun-2023
  • Kirjastus: Princeton University Press
  • ISBN-10: 069124765X
  • ISBN-13: 9780691247656

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

Arvustused

"Beyond obvious practical value, this material offers students an excellent opportunity to revisit and rethink some crucial, fundamental college mathematics." * Choice * "[ T]his little book is a very important supplement to existing books on validated numerics. It is a must for researchers working in this field."---G. Alefeld, Mathematical Reviews "The book contains a lot of exercises, various small programs written in MATLAB code, and four sections with numerous problems provided for experimenting on a computer. It is written at an elementary level corresponding to its aims. But it is also a pleasure for specialists to leaf through the book."---Gunter Mayer, Zentralblatt MATH "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." * World Book Industry *

Preface ix
Introduction xi
What Is Validated Numerics? xi
The Scope and Aim of This Book xi
Further Reading xii
Acknowledgments xii
Chapter 1 Computer Arithmetic
1(23)
1.1 Positional Systems
1(1)
1.2 Floating Point Numbers
2(3)
1.3 Rounding
5(7)
1.4 Floating Point Arithmetic
12(2)
1.5 The IEEE Standard
14(5)
1.6 Examples of Floating Point Computations
19(4)
1.7 Computer Lab I
23(1)
Chapter 2 Interval Arithmetic
24(22)
2.1 Real Intervals
24(3)
2.2 Real Interval Arithmetic
27(3)
2.3 Extended Interval Arithmetic
30(7)
2.4 Floating Point Interval Arithmetic
37(9)
Chapter 3 Interval Analysis
46(14)
3.1 Interval Functions
46(9)
3.2 Centered Forms
55(3)
3.3 Monotonicity
58(1)
3.4 Computer Lab II
59(1)
Chapter 4 Automatic Differentiation
60(13)
4.1 First-Order Derivatives
60(4)
4.2 Higher-Order Derivatives
64(7)
4.3 Higher-Order Enclosures
71(1)
4.4 Computer Lab III
72(1)
Chapter 5 Interval Analysis in Action
73(33)
5.1 Zero-Finding Methods
73(14)
5.2 Optimization
87(7)
5.3 Quadrature
94(11)
5.4 Computer Lab IV
105(1)
Chapter 6 Ordinary Differential Equations
106(12)
6.1 A Gentle Mathematical Introduction
106(1)
6.2 Simple Enclosure Methods
107(4)
6.3 High-Order Methods
111(1)
6.4 Rigorous High-Order Examples
112(6)
Appendix A Mathematical Foundations
118(8)
A.1 The Rational Numbers
118(2)
A.2 What Is a Real Number?
120(2)
A.3 Completeness
122(2)
A.4 Fixed-Point Theorems
124(2)
Appendix B Program Codes
126(5)
B.1 IEEE Constants
126(1)
B.2 Changing Rounding Modes
127(1)
B.3 A Sample Code in C++
128(3)
Bibliography 131(6)
Index 137
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.