Pages that link to "Item:Q5252690"
From MaRDI portal
The following pages link to Short Proofs for the Determinant Identities (Q5252690):
Displaying 7 items.
- Short proofs of the Kneser-Lovász coloring principle (Q1641004) (← links)
- Quasipolynomial size proofs of the propositional pigeonhole principle (Q2344736) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- Witnessing matrix identities and proof complexity (Q4634922) (← links)
- (Q5028363) (← links)
- Short proofs for the determinant identities (Q5415475) (← links)