Pages that link to "Item:Q3422215"
From MaRDI portal
The following pages link to INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH (Q3422215):
Displaying 8 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)
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach (Q6653961) (← links)
- Two new ways to formally prove Dandelin-Gallucci's theorem (Q6666520) (← links)
