A lower bound for polynomial calculus with extension rule (Q6115377)
From MaRDI portal
scientific article; zbMATH DE number 7711603
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A lower bound for polynomial calculus with extension rule |
scientific article; zbMATH DE number 7711603 |
Statements
12 July 2023
0 references
proof complexity
0 references
algebraic proofs
0 references
polynomial calculus
0 references
A lower bound for polynomial calculus with extension rule (English)
0 references
