Pages that link to "Item:Q1886325"
From MaRDI portal
The following pages link to The proof complexity of linear algebra (Q1886325):
Displaying 16 items.
- Proving properties of matrices over \({\mathbb{Z}_{2}}\) (Q453198) (← links)
- Short propositional refutations for dense random 3CNF formulas (Q741088) (← links)
- The proof theoretic strength of the Steinitz exchange theorem (Q858298) (← links)
- The strength of multilinear proofs (Q1024659) (← links)
- The complexity of linear problems in fields (Q1103602) (← links)
- Weak theories of linear algebra (Q1766923) (← links)
- Upper and lower Ramsey bounds in bounded arithmetic (Q2488271) (← links)
- LA, permutations, and the Hajós calculus (Q2581274) (← links)
- Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces (Q3795214) (← links)
- (Q4467933) (← links)
- Proof Complexity Meets Algebra (Q4617977) (← links)
- (Q5028363) (← links)
- Short Proofs for the Determinant Identities (Q5252690) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
- Automata, Languages and Programming (Q5466547) (← links)
- First-order reasoning and efficient semi-algebraic proofs (Q6614038) (← links)