Cited in
(80)- ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
- GMBL
- Formalization of Wu's simple method in Coq
- On the design and implementation of a geometric knowledge base
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- Automated Deduction in Geometry
- Automated theorem proving in GeoGebra: current achievements
- Geometry constructions language
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- Automatically building diagrams for olympiad geometry problems
- GeoThms -- a web system for Euclidean constructive geometry
- Solution formulas for cubic equations without or with constraints
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- GEOTHER: A geometry theorem prover
- Portfolio theorem proving and prover runtime prediction for geometry
- Connecting the 3D DGS Calques3D with the CAS Maple
- Automated Deduction in Geometry
- Cinderella
- Epsilon
- GCLC
- I2Geo
- MMP/Geometer
- Xeukleides
- MEDLAR
- GeoGebra
- Geometer's Sketchpad
- LAD
- Cabri-geometry
- SymbolicData
- Eukleides
- GeoProof
- JSXGraph
- Geometry Expressions
- Cabri
- GCLCprover
- GeoThms
- ActiveMath
- Cabri 3D
- Giac
- gcl
- OpenGeoProver
- MathDox
- TGTP
- Electronic Geometry Textbook
- WinGCLC
- Calques 3D
- Intergeo
- Lugares
- GEX
- GeoProver
- PyGeo
- webDiscovery
- arXMLiv
- RENE
- GeoView
- GeoText
- LeActiveMath
- JGEX
- Emscripten
- Geometrix
- Orikoto
- CHYPRE
- Geometry Tutor
- 3D-LD
- paramGeo3D
- Discovering geometric theorems from scanned and photographed images of diagrams
- Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.
- Penrose
- Formalization and specification of geometric knowledge objects
- Solving Dynamic Geometric Constraints Involving Inequalities
- Towards an Electronic Geometry Textbook
- Proof Documents for Automated Origami Theorem Proving
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Automatic deduction in (dynamic) geometry: Loci computation
- Representation and automated transformation of geometric statements
- A parametric approach to 3D dynamic geometry
- Opengeo: an open geometric knowledge base
- The relation tool in GeoGebra 5
- What does ``without loss of generality mean, and how do we detect it
- Thousands of geometric problems for geometric theorem provers (TGTP)
This page was built for software: GEOTHER 1.1
