Discrete stochastic arithmetic for validating results of numerical software (Q2387785)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discrete stochastic arithmetic for validating results of numerical software |
scientific article |
Statements
Discrete stochastic arithmetic for validating results of numerical software (English)
0 references
5 September 2005
0 references
numerical software validation
0 references
cestac method
0 references
discrete stochastic arithmetic
0 references
CADNA software
0 references
round-off error propagation
0 references
prosolver software
0 references
numerical examples
0 references
