The following pages link to GeoThms (Q18350):
Displaying 23 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Geometry constructions language (Q2655329) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- On the Design and Implementation of a Geometric Knowledge Base (Q3003226) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- (Q3539358) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- (Q5407115) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That (Q5747799) (← links)
