Pages that link to "Item:Q2631964"
From MaRDI portal
The following pages link to Two cryptomorphic formalizations of projective incidence geometry (Q2631964):
Displaying 4 items.
- A case study in formalizing projective geometry in Coq: Desargues theorem (Q448975) (← links)
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq (Q6108812) (← 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)