GCLC -- a tool for constructive Euclidean geometry and more than that
From MaRDI portal
Publication:5747799
Recommendations
Cited in
(25)- Current status of the I2GATP common format
- Automatic Deduction in an AI Geometry Book
- Automated deduction and knowledge management in geometry
- Automated generation of illustrations for synthetic geometry proofs
- Computer proofs in plane geometry
- Geometry constructions language
- Taxonomies of geometric problems
- The area method. A recapitulation
- Automatically building diagrams for olympiad geometry problems
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Measuring the readability of geometric proofs: the area method case
- Portfolio theorem proving and prover runtime prediction for geometry
- Open geometry prover community project
- Automated generation of illustrated proofs in geometry and beyond
- GCLC
- From informal to formal proofs in Euclidean geometry
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Formalization and specification of geometric knowledge objects
- Towards an Electronic Geometry Textbook
- Towards understanding triangle construction problems
- Representation and automated transformation of geometric statements
- New dynamics in dynamic geometry: dragging constructed points
- An introduction to Java geometry expert. (Extended abstract)
- Towards an intelligent and dynamic geometry book
- Thousands of geometric problems for geometric theorem provers (TGTP)
Describes a project that uses
Uses Software
This page was built for publication: GCLC -- a tool for constructive Euclidean geometry and more than that
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747799)