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 11 items.
- Homography in \(\mathbb{R}\mathbb{P}^2\) (Q520382) (← links)
- Implementing geometric algebra products with binary trees (Q742367) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← 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)
- Formalizing constructive projective geometry in Agda (Q2333313) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach (Q6653961) (← links)
