GCLC — A Tool for Constructive Euclidean Geometry and More Than That
From MaRDI portal
Publication:5747799
DOI10.1007/11832225_6zbMath1230.51024OpenAlexW2131408699MaRDI QIDQ5747799
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
Geometric constructions in real or complex geometry (51M15) Software, source code, etc. for problems pertaining to geometry (51-04)
Related Items
Current Status of the I2GATP Common Format ⋮ From informal to formal proofs in Euclidean geometry ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Towards Understanding Triangle Construction Problems ⋮ Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Geometry constructions language ⋮ 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 ⋮ Towards an intelligent and dynamic geometry book ⋮ The area method. A recapitulation ⋮ Representation and automated transformation of geometric statements ⋮ Automated deduction and knowledge management in geometry ⋮ Formalization and specification of geometric knowledge objects ⋮ Towards an Electronic Geometry Textbook ⋮ Automatic Verification of Regular Constructions in Dynamic Geometry Systems ⋮ Automatically building diagrams for olympiad geometry problems ⋮ GCLC ⋮ Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) ⋮ New dynamics in dynamic geometry: dragging constructed points ⋮ Taxonomies of geometric problems
Uses Software
