Pages that link to "Item:Q2354913"
From MaRDI portal
The following pages link to Formalizing complex plane geometry (Q2354913):
Displayed 4 items.
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)