Pages that link to "Item:Q3422215"
From MaRDI portal
The following pages link to INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH (Q3422215):
Displayed 7 items.
- Body-and-cad geometric constraint systems (Q448973) (← links)
- A case study in formalizing projective geometry in Coq: Desargues theorem (Q448975) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry (Q3102734) (← links)
- Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry (Q3102739) (← links)
- What Is a Line ? (Q3102740) (← links)
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq (Q6108812) (← links)