Verified numerical computations for large-scale linear systems. (Q2662465)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified numerical computations for large-scale linear systems. |
scientific article |
Statements
Verified numerical computations for large-scale linear systems. (English)
0 references
13 April 2021
0 references
verified numerical computation
0 references
floating-point arithmetic
0 references
high-performance computing
0 references
large-scale linear system
0 references
0 references
0 references
0 references
0 references
