The following pages link to Automated Deduction in Geometry (Q5902031):
Displaying 17 items.
- GEOTHER 1.1 (Q15381) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← 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)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Towards an Electronic Geometry Textbook (Q5453481) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
