Validated Numerics : : A Short Introduction to Rigorous Computations / / Warwick Tucker.
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...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2011] ©2011 |
| Year of Publication: | 2011 |
| Language: | English |
| Online Access: | |
| Physical Description: | 1 online resource (152 p.) :; 41 line illus. 12 tables. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- Contents
- Preface
- Introduction
- Chapter One. Computer Arithmetic
- Chapter Two. Interval Arithmetic
- Chapter Three. Interval Analysis
- Chapter Four. Automatic Differentiation
- Chapter Five. Interval Analysis in Action
- Chapter Six. Ordinary Differential Equations
- Appendix A. Mathematical Foundations
- Appendix B. Program Codes
- Bibliography
- Index