JGEX
From MaRDI portal
Cited in
(46)- Cinderella
- GCLC
- MMP/Geometer
- GEOTHER 1.1
- GeoGebra
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Geometer's Sketchpad
- Towards an intelligent and dynamic geometry book
- Cabri-geometry
- GeoProof
- GCLCprover
- GeoThms
- Giac
- OpenGeoProver
- ArgoCLP
- gcl
- Automated deduction and knowledge management in geometry
- Electronic Geometry Textbook
- Intergeo
- GEX
- Pcoq
- Dr.Doodle
- Taxonomies of geometric problems
- TGTP
- GeoView
- A review and prospect of readable machine proofs for geometry theorems
- Opengeo
- Rewriting input expressions in complex algebraic geometry provers
- Emscripten
- Geometry constructions language
- Geometrix
- Towards the Automatic Discovery of Theorems in GeoGebra
- Automated theorem proving in GeoGebra: current achievements
- Formalization of Wu's simple method in Coq
- The relation tool in GeoGebra 5
- GATP
- HOARD ATINF
- WGL
- GeoCoq
- CHYPRE
- Baghera
- GeoLogic
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
This page was built for software: JGEX
