Cited in
(80)- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- A parametric approach to 3D dynamic geometry
- Geometry constructions language
- Solving Dynamic Geometric Constraints Involving Inequalities
- Solution formulas for cubic equations without or with constraints
- Automated Deduction in Geometry
- Connecting the 3D DGS Calques3D with the CAS Maple
- Discovering geometric theorems from scanned and photographed images of diagrams
- Portfolio theorem proving and prover runtime prediction for geometry
- Automated theorem proving in GeoGebra: current achievements
- Proof Documents for Automated Origami Theorem Proving
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Automated Deduction in Geometry
- Formalization of Wu's simple method in Coq
- On the design and implementation of a geometric knowledge base
- 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
- Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.
- Formalization and specification of geometric knowledge objects
- Automatically building diagrams for olympiad geometry problems
- Towards an Electronic Geometry Textbook
- Representation and automated transformation of geometric statements
- GMBL
- Penrose
- GeoThms -- a web system for Euclidean constructive geometry
- ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
- What does ``without loss of generality mean, and how do we detect it
- GEOTHER: A geometry theorem prover
- Opengeo: an open geometric knowledge base
- Thousands of geometric problems for geometric theorem provers (TGTP)
- The relation tool in GeoGebra 5
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- Automatic deduction in (dynamic) geometry: Loci computation
This page was built for software: GEOTHER 1.1
