GCLC -- a tool for constructive Euclidean geometry and more than that

DOI10.1007/11832225_6zbMATH Open1230.51024OpenAlexW2131408699MaRDI QIDQ5747799FDOQ5747799

Authors: Predrag Janičić 

Publication date: 14 September 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11832225_6

Recommendations

• Geometry constructions language
• Computer proofs in plane geometry
• A graphical user interface for formal proofs in geometry
• An introduction to Java geometry expert. (Extended abstract)
• scientific article; zbMATH DE number 871441

zbMATH Keywords

visualizing geometrical objects

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Geometric constructions in real or complex geometry (51M15)

Cited In (25)

• Geometry constructions language
• New dynamics in dynamic geometry: dragging constructed points
• Taxonomies of geometric problems
• Measuring the readability of geometric proofs: the area method case
• Portfolio theorem proving and prover runtime prediction for geometry
• The area method. A recapitulation
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• From informal to formal proofs in Euclidean geometry
• Automated deduction and knowledge management in geometry
• Automated generation of illustrated proofs in geometry and beyond
• Formalization of the arithmetization of Euclidean plane geometry and applications
• GCLC
• Formalization and specification of geometric knowledge objects
• Towards an Electronic Geometry Textbook
• Automatically building diagrams for olympiad geometry problems
• Towards understanding triangle construction problems
• Representation and automated transformation of geometric statements
• Automatic Deduction in an AI Geometry Book
• Automated generation of illustrations for synthetic geometry proofs
• Towards an intelligent and dynamic geometry book
• Computer proofs in plane geometry
• An introduction to Java geometry expert. (Extended abstract)
• Thousands of geometric problems for geometric theorem provers (TGTP)
• Current status of the I2GATP common format
• Open geometry prover community project

Uses Software

• Cinderella
• Theorema
• Geometer's Sketchpad
• Eukleides
• GCLCprover
• GeoThms
• Cabri
• WinGCLC

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)