The following pages link to (Q4713272):
Displaying 5 items.
- The twofold role of diagrams in Euclid's plane geometry (Q375269) (← links)
- Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI (Q2413528) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Constructibility and Geometry (Q5213630) (← links)
