Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Validating numerical semidefinite programming solvers for polynomial invariants |
scientific article; zbMATH DE number 6947122
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Validating numerical semidefinite programming solvers for polynomial invariants |
scientific article; zbMATH DE number 6947122 |
Statements
Validating numerical semidefinite programming solvers for polynomial invariants (English)
0 references
4 October 2018
0 references
static analysis
0 references
polynomial invariants
0 references
numerical optimization
0 references
sum of squares relaxation
0 references
semidefinite programming
0 references
floating-point arithmetic
0 references
formal proofs
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
