GCLCprover
From MaRDI portal
Software:18349
No author found.
Related Items (17)
Current Status of the I2GATP Common Format ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Geometry constructions language ⋮ The Area Method and Proving Plane Geometry Theorems ⋮ Towards an intelligent and dynamic geometry book ⋮ The area method. A recapitulation ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Representation and automated transformation of geometric statements ⋮ Automated deduction and knowledge management in geometry ⋮ Formalization and specification of geometric knowledge objects ⋮ GCLC — A Tool for Constructive Euclidean Geometry and More Than That ⋮ Automatic Verification of Regular Constructions in Dynamic Geometry Systems ⋮ Formalization of Wu’s Simple Method in Coq ⋮ Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) ⋮ Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices ⋮ New dynamics in dynamic geometry: dragging constructed points ⋮ GeoThms — a Web System for Euclidean Constructive Geometry
This page was built for software: GCLCprover
