On defining integers and proving arithmetic circuit lower bounds (Q626611)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On defining integers and proving arithmetic circuit lower bounds |
scientific article |
Statements
On defining integers and proving arithmetic circuit lower bounds (English)
0 references
18 February 2011
0 references
algebraic complexity
0 references
permanent
0 references
factorials
0 references
integer roots of univariate polynomials
0 references