The following pages link to Minimal foundations of geometry (Q1920834):
Displaying 5 items.
- Quantifier-free axioms for constructive affine plane geometry (Q1840989) (← links)
- Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. (Q1890449) (← links)
- Affine geometry having a solid as primitive (Q2534162) (← links)
- Euclidean geometry problems rephrased in terms of midpoints and point-reflections (Q2570239) (← links)
- A methodologically pure proof of a convex geometry problem (Q5948416) (← links)