The following pages link to GEOTHER 1.1 (Q15381):
Displayed 30 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← 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)
- What does ``without loss of generality'' mean, and how do we detect it (Q1701639) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers. (Q2492148) (← 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)
- OpenGeo: An Open Geometric Knowledge Base (Q2879130) (← links)
- On the Design and Implementation of a Geometric Knowledge Base (Q3003226) (← 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)
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams (Q3452283) (← links)
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System (Q3582714) (← links)
- GEOTHER: A geometry theorem prover (Q4647511) (← links)
- Solving Dynamic Geometric Constraints Involving Inequalities (Q5302912) (← 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)
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System (Q5453492) (← links)
- Automated Deduction in Geometry (Q5493324) (← links)
- Automated Deduction in Geometry (Q5902024) (← links)
- ``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. (Q5949275) (← links)