The mathematics of floating-point arithmetic
From MaRDI portal
Recommendations
- Handbook of Floating-Point Arithmetic
- Exploiting structure in floating-point arithmetic
- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
- Handbook of floating-point arithmetic
- Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
Cited in
(20)- Precise numerical computation
- Density results on floating-point invertible numbers.
- Additive symmetries: The non-negative case.
- Optimization modulo the theory of floating-point numbers
- Stupid is as stupid does: taking the square root of the square of a floating-point number
- Floating point and composite arithmetics
- Exploiting structure in floating-point arithmetic
- scientific article; zbMATH DE number 4131670 (Why is no real title available?)
- scientific article; zbMATH DE number 3862438 (Why is no real title available?)
- Handbook of Floating-Point Arithmetic
- Beyond Floating Point
- scientific article; zbMATH DE number 2015311 (Why is no real title available?)
- scientific article; zbMATH DE number 852330 (Why is no real title available?)
- Algebras over floating point numbers
- Dyadic floating point
- Floating-Point LLL: Theoretical and Practical Aspects
- A History of the Lords of Number--Crunching
- A remarkable example of catastrophic cancellation unraveled
- Floating-point arithmetic
- Mathematical modelling for high precision ray tracing in optical design
This page was built for publication: The mathematics of floating-point arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5021315)