On stopping criteria in verified nonlinear systems or optimization algorithms (Q4406299)
From MaRDI portal
scientific article; zbMATH DE number 1935129
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On stopping criteria in verified nonlinear systems or optimization algorithms |
scientific article; zbMATH DE number 1935129 |
Statements
On stopping criteria in verified nonlinear systems or optimization algorithms (English)
0 references
25 June 2003
0 references
algorithms
0 references
performance
0 references
reliability
0 references
verification
0 references
