The following pages link to (Q3126575):
Displaying 6 items.
- Euclidean geometry in terms of automata theory (Q1124346) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry (Q3295837) (← links)
- (Q3700870) (← links)
- (Q4670511) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)