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

DOI10.1007/11832225_6MaRDI QIDQ5747799zbMATH OpenOpenAlexFDO

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

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)

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

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

• 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)