Numerical computing with IEEE floating point arithmetic - including one theorem, one rule of thumb, and one hundred and one exercices
By Michael L. Overton. 2001
374 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/fc7a9cf7b10b4ec21924c2d3b046daedc5f76a88
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Christopher J. Hillar
- Erivelton Geraldo Nepomuceno
- Lek-Heng Lim
- Mark H. Holmes
- Samir A. M. Martins
- Boris N. Khoromskij
- Liqun Qi
- André Uschmajew
Citations in the corpus
- Automatic Random Variate Generation for Unbounded Densities (2006, background): “But the usual floating point arithmetic used today contains a discrete subset that is by far most dense around 0 [Overton 2001].”
- Most Tensor Problems Are NP-Hard (2009, methodology): “ly our notion of reducibility in Section 1.4. 3While the "-accuracy complexity model is more realistic for numerical computations, it is not based on the IEEE oating-point standards [Kahan 1997; Overton 2001]. On the other hand, a model that combines both the exibility of the "-accuracy co”
- A lower bound error for free-run simulation of the polynomial NARMAX (2016, background): “As it is well known that on floating point standard, we do not have commutative and distributive operations, they may exhibit different pseudo-orbits (Goldberg, 1991; Institute of Electrical and Electronics Engineers (IEEE), 2008; Overton, 2001).”
- Introduction to Numerical Methods in Differential Equations (2006, background): “A more in-depth presentation of the properties and limitations of IEEE floating-point arithmetic can be found in Overton [2001].”
- Verification methods: rigorous results using floating-point arithmetic (2010, neutral): “For another, very readable discussion see Overton (2001). Let a finite subset F ⊆ R ∪ {−∞,+∞} be given, where ∞ ∈ F and −F = F.”