The following pages link to Geometry constructions language (Q2655329):
Displaying 12 items.
- gcl (Q19263) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Towards Understanding Triangle Construction Problems (Q2907319) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
