GCLCprover

swMATH6215MaRDI QIDQ18349FDOQ18349

Author name not available (Why is that?)

Described by source

• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories

Cited In (17)

• A review and prospect of readable machine proofs for geometry theorems
• Geometry constructions language
• New dynamics in dynamic geometry: dragging constructed points
• Portfolio theorem proving and prover runtime prediction for geometry
• Current Status of the I2GATP Common Format
• The area method. A recapitulation
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Automated deduction and knowledge management in geometry
• Formalization of Wu's simple method in Coq
• Formalization and specification of geometric knowledge objects
• Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
• Representation and automated transformation of geometric statements
• GeoThms -- a web system for Euclidean constructive geometry
• Towards an intelligent and dynamic geometry book
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Thousands of geometric problems for geometric theorem provers (TGTP)
• The Area Method and Proving Plane Geometry Theorems

This page was built for software: GCLCprover