The following pages link to Weak theories of linear algebra (Q1766923):
Displaying 6 items.
- Proving properties of matrices over \({\mathbb{Z}_{2}}\) (Q453198) (← links)
- The proof theoretic strength of the Steinitz exchange theorem (Q858298) (← links)
- The proof complexity of linear algebra (Q1886325) (← links)
- Automata, Languages and Programming (Q5466547) (← links)
- (Q5490186) (← links)
- First-order reasoning and efficient semi-algebraic proofs (Q6614038) (← links)