Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF |
scientific article |
Statements
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (English)
0 references
5 September 2016
0 references
program verification
0 references
interpolant
0 references
concave quadratic polynomial
0 references
Motzkin's theorem
0 references
SOS
0 references
semi-definite programming
0 references
0 references
