Pages that link to "Item:Q2362204"
From MaRDI portal
The following pages link to A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204):
Displaying 8 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Tarski geometry axioms. III (Q1795563) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Pappus's hexagon theorem in real projective plane (Q2119545) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Proof-checking Euclid (Q2631965) (← links)
