Pages that link to "Item:Q3100204"
From MaRDI portal
The following pages link to Formalization of Wu’s Simple Method in Coq (Q3100204):
Displaying 5 items.
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
