Pages that link to "Item:Q3102734"
From MaRDI portal
The following pages link to A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry (Q3102734):
Displaying 8 items.
- Homography in \(\mathbb{R}\mathbb{P}^2\) (Q520382) (← links)
- Implementing geometric algebra products with binary trees (Q742367) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Pappus's hexagon theorem in real projective plane (Q2119545) (← links)
- Formalizing geometric algebra in Lean (Q2128117) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
