Proof — Numerical linear algebra
Statement
LINPACK; LAPACK; BLAS; HPC. Proved in ZFC.
Source
ACM Turing Award 2021. LINPACK; LAPACK; BLAS; HPC. Proved in ZFC.
Domains
computer-science
LINPACK; LAPACK; BLAS; HPC. Proved in ZFC.
ACM Turing Award 2021. LINPACK; LAPACK; BLAS; HPC. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/dongarra-turing-2021/