The following pages link to (Q3567843):
Displayed 11 items.
- A constructive real projective plane (Q265603) (← links)
- Constructibility classes for triangle location problems (Q294373) (← links)
- Constructive geometrical reasoning and diagrams (Q375270) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI (Q2413528) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Towards Understanding Triangle Construction Problems (Q2907319) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)