Numerical Software with Result Verification (Q5308343)
From MaRDI portal
scientific article; zbMATH DE number 5196404
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical Software with Result Verification |
scientific article; zbMATH DE number 5196404 |
Statements
Numerical Software with Result Verification (English)
0 references
28 September 2007
0 references
Validated computations
0 references
numerical linear algebra
0 references
embedded systems
0 references
Taylor series
0 references
interval arithmetic
0 references
stochastic arithmetic
0 references
global optimization
0 references
interactive software systems
0 references
software libraries
0 references
