Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266)
From MaRDI portal
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
