Lower bounds for polynomial calculus with extension variables over finite fields (Q6640341)
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: Lower bounds for polynomial calculus with extension variables over finite fields |
scientific article; zbMATH DE number 7946348
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lower bounds for polynomial calculus with extension variables over finite fields |
scientific article; zbMATH DE number 7946348 |
Statements
Lower bounds for polynomial calculus with extension variables over finite fields (English)
0 references
19 November 2024
0 references
proof complexity
0 references
algebraic proof systems
0 references
polynomial calculus
0 references
extension variables
0 references
AC\(^0[p]\)-Frege
0 references
