The Essentials of verified numerical computations, rounding error analyses, interval arithmetic, and error-free transformations
Citations Over Time
Abstract
Floating-point numbers and floating-point arithmetic are widely used in numerical computations. A treatable problem size can quickly become large-scale due to the continual advancement of computational environments. If the number of floating-point operations increases, then problems caused by rounding errors become increasingly critical. In the worst case, an approximate solution obtained by a numerical computation can be inaccurate. Therefore, verified numerical computations are becoming increasingly important. This paper presents a survey of the basics related to verified numerical computations. We focus on floating-point arithmetic, interval arithmetic, rounding error analyses, and error-free transformations of floating-point operations.
Related Papers
- → A family of variable-precision interval arithmetic processors(2000)77 cited
- → The Essentials of verified numerical computations, rounding error analyses, interval arithmetic, and error-free transformations(2020)1 cited
- → Precision Arithmetic: A New Floating-Point Arithmetic(2006)
- → Error Analysis on Floating-Point Arithmetic in C Programming Language Library Functions(2013)
- Contribution à l'analyse d'algorithmes en arithmétique à virgule flottante(2017)