The following pages link to Geometry constructions language (Q2655329):
Displaying 18 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)
- Constructive picture description with Euclidean geometry (Q1117717) (← links)
- Programming language for solid variational geometry (Q1195298) (← 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)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
- On automating triangle constructions in absolute and hyperbolic geometry (Q6653955) (← links)
- Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)