Pages that link to "Item:Q5747799"

The following pages link to GCLC — A Tool for Constructive Euclidean Geometry and More Than That (Q5747799):

Displaying 22 items.

• GCLC (Q13087) (← links)
• The area method. A recapitulation (Q437042) (← links)
• Representation and automated transformation of geometric statements (Q488928) (← links)
• Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
• Towards an intelligent and dynamic geometry book (Q1701659) (← links)
• Automated deduction and knowledge management in geometry (Q1995808) (← links)
• Automatically building diagrams for olympiad geometry problems (Q2055892) (← 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)
• From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
• Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
• Geometry constructions language (Q2655329) (← links)
• Towards Understanding Triangle Construction Problems (Q2907319) (← links)
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
• Current Status of the I2GATP Common Format (Q3452280) (← links)
• Towards an Electronic Geometry Textbook (Q5453481) (← links)
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
• Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
• Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
• Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)
• Open geometry prover community project (Q6653967) (← links)