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
• 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
• The area method and proving plane geometry theorems
• 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
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• Thousands of geometric problems for geometric theorem provers (TGTP)
• Current status of the I2GATP common format

This page was built for software: GCLCprover