Size-degree trade-offs for sums-of-squares and positivstellensatz proofs (Q5091776)
From MaRDI portal
scientific article; zbMATH DE number 7564424
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Size-degree trade-offs for sums-of-squares and positivstellensatz proofs |
scientific article; zbMATH DE number 7564424 |
Statements
27 July 2022
0 references
proof complexity
0 references
semialgebraic proof systems
0 references
sums-of-squares
0 references
positivstellensatz
0 references
trade-offs
0 references
lower bounds
0 references
monomial size
0 references
degree
0 references
0 references
Size-degree trade-offs for sums-of-squares and positivstellensatz proofs (English)
0 references