GEOTHER 1.1
From MaRDI portal
Software:15381
swMATH2842MaRDI QIDQ15381FDOQ15381
Author name not available (Why is that?)
Cited In (30)
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Solving Dynamic Geometric Constraints Involving Inequalities
- A parametric approach to 3D dynamic geometry
- Geometry constructions language
- Solution formulas for cubic equations without or with constraints
- Automated Deduction in Geometry
- OpenGeo: An Open Geometric Knowledge Base
- Connecting the 3D DGS Calques3D with the CAS Maple
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- Portfolio theorem proving and prover runtime prediction for geometry
- The Relation Tool in GeoGebra 5
- Proof Documents for Automated Origami Theorem Proving
- Automated theorem proving in GeoGebra: current achievements
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Automated Deduction in Geometry
- Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
- Formalization and specification of geometric knowledge objects
- Towards an Electronic Geometry Textbook
- Automatically building diagrams for olympiad geometry problems
- Representation and automated transformation of geometric statements
- Formalization of Wu’s Simple Method in Coq
- On the Design and Implementation of a Geometric Knowledge Base
- ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
- GeoThms -- a web system for Euclidean constructive geometry
- GEOTHER: A geometry theorem prover
- What does ``without loss of generality mean, and how do we detect it
- Automatic deduction in (dynamic) geometry: Loci computation
This page was built for software: GEOTHER 1.1