Pages that link to "Item:Q1353164"
From MaRDI portal
The following pages link to A set of postulates for plane geometry, based on scale and protractor (Q1353164):
Displayed 11 items.
- The equivalence of side-angle-side and side-angle-angle in the absolute plane (Q601729) (← links)
- Ebene absolute Geometrie über euklidischen Körpern (Q1151595) (← links)
- Similarity and dissimilarity in posets (Q1360674) (← links)
- 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)
- A sandwich with segment convexity (Q2661273) (← links)
- (Q4578215) (← links)
- (Q4578216) (← links)
- George David Birkhoff and his mathematical work (Q5834149) (← links)
- Peano property, two dimensional triangles, constant curvature (Q6155837) (← links)
- First-order logic axiomatization of metric graph theory (Q6196830) (← links)