| ISBN： | 9780691247656 |
|---|
| ISBN： | 069124765X |
|---|
| 个人名称： | Tucker, Warwick,1961- |
|---|
| 题名： | Validated numerics : a short introduction to rigorous computations / Warwick Tucker. |
|---|
| 载体形态： | xii, 138 pages : illustrations ; 24 cm |
|---|
| 书目附注： | Includes bibliographical references and index. |
|---|
| 格式化内容附注： | Computer Arithmetic. Positional Systems ; Floating Point Numbers ; Rounding ; Floating Point Arithmetic ; The IEEE Standard ; Examples of Floating Point Computations ; Computer Lab I -- Interval Arithmetic. Real Intervals ; Real Interval Arithmetic ; Extended Interval Arithmetic ; Floating Point Interval Arithmetic -- Interval Analysis. Interval Functions ; Centered Forms ; Monotonicity ; Computer Lab II -- Automatic Differentiation. First-Order Derivatives ; Higher-Order Derivatives ; Higher-Order Enclosures ; Computer Lab III -- Interval Analysis in Action. Zero-Finding Methods ; Optimization ; Quadrature ; Computer Lab IV -- Ordinary Differential Equations. A Gentle Mathematical Introduction ; Simple Enclosure Methods ; High-Order Methods -- Appendix A. Mathematical Foundations. The Rational Numbers ; What Is a Real Number? ; Completeness ; Fixed-Point Theorems -- Appendix B. Program Codes. IEEE Constants ; Changing Rounding Modes ; A Sample Code in C++. |
|---|