On verified numerical computations in convex programming (Q849186)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On verified numerical computations in convex programming |
scientific article |
Statements
On verified numerical computations in convex programming (English)
0 references
25 February 2010
0 references
linear programming
0 references
semidefinite programming
0 references
conic programming
0 references
convex programming
0 references
combinatorial optimization
0 references
rounding errors
0 references
ill-posed problems
0 references
interval arithmetic
0 references
branch-bound-and-cut
0 references
0 references
0 references
0 references
0 references
0 references
0 references
