GEOTHER 1.1

swMATH2842MaRDI QIDQ15381FDOQ15381

Author name not available (Why is that?)

Described by source

• Automated Deduction in Geometry

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