GCLC -- a tool for constructive Euclidean geometry and more than that
From MaRDI portal
(Redirected from Publication:5747799)
Recommendations
Cited in
(28)- GCLC
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Towards an intelligent and dynamic geometry book
- Automated deduction and knowledge management in geometry
- Automatically building diagrams for olympiad geometry problems
- Formalization and specification of geometric knowledge objects
- New dynamics in dynamic geometry: dragging constructed points
- Taxonomies of geometric problems
- From informal to formal proofs in Euclidean geometry
- Portfolio theorem proving and prover runtime prediction for geometry
- Geometry constructions language
- Towards understanding triangle construction problems
- An introduction to Java geometry expert. (Extended abstract)
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Current status of the I2GATP common format
- The area method. A recapitulation
- Representation and automated transformation of geometric statements
- Computer proofs in plane geometry
- Towards an Electronic Geometry Textbook
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Automatic Deduction in an AI Geometry Book
- Measuring the readability of geometric proofs: the area method case
- Automated generation of illustrated proofs in geometry and beyond
- Automated generation of illustrations for synthetic geometry proofs
- Open geometry prover community project
- Readable automated proofs of ruler and compass constructions
- Theorem proving as constraint solving for coherent logic with function symbols
- Towards automated readable proofs of ruler and compass constructions
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)
