IEEE 754 floating-point
Statement
Floating-point standard; Kahan summation. Proved in ZFC.
Source
ACM Turing Award 1989. Floating-point standard; Kahan summation. Proved in ZFC.
Domains
computer-science
Floating-point standard; Kahan summation. Proved in ZFC.
ACM Turing Award 1989. Floating-point standard; Kahan summation. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/kahan-turing-1989/