Backward error analysis
Statement
Numerical stability; floating-point error analysis. Proved in ZFC.
Source
ACM Turing Award 1970. Numerical stability; floating-point error analysis. Proved in ZFC.
Domains
computer-science
Numerical stability; floating-point error analysis. Proved in ZFC.
ACM Turing Award 1970. Numerical stability; floating-point error analysis. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/wilkinson-turing-1970/