The following pages link to (Q5317327):
Displaying 7 items.
- Ein elementargeometrischer Beweis des Lotensatzes von Hjelmslev. (An elementary geometrical proof of the perpendicular theorem of Hjelmslev.) (Q921587) (← links)
- The Cramer-Castillon problem and Urquhart's `most elementary' theorem. (Q960581) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry (Q3295837) (← links)
- (Q4322109) (← links)
- (Q5292745) (← links)
- Gapless Lines and Gapless Proofs: Intersections and Continuity in Euclid’s Elements (Q6169644) (← links)