GEX
From MaRDI portal
Cited in
(82)- Cinderella
- GCLC
- I2Geo
- MMP/Geometer
- Xeukleides
- GEOTHER 1.1
- MEDLAR
- GeoGebra
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Geometer's Sketchpad
- LAD
- Towards an intelligent and dynamic geometry book
- Cabri-geometry
- Eukleides
- GeoProof
- Geometry Expressions
- GCLCprover
- GeoThms
- Cabri
- A software tool for the investigation of plane loci
- Giac
- SCSCP
- Cabri 3D
- Automatic determination of envelopes and other derived curves within a graphic environment
- OpenGeoProver
- ArgoCLP
- gcl
- Automated generation of Kempe linkage and its complexity
- Automated deduction and knowledge management in geometry
- WinGCLC
- Electronic Geometry Textbook
- Intergeo
- Calques 3D
- Lugares
- PyGeo
- GeoProver
- Pcoq
- Dr.Doodle
- webDiscovery
- A parametric approach to 3D dynamic geometry
- Taxonomies of geometric problems
- A Singular web service for geometric computations
- TGTP
- GeoView
- A review and prospect of readable machine proofs for geometry theorems
- Opengeo
- LeActiveMath
- A graphical user interface for formal proofs in geometry
- JGEX
- Rewriting input expressions in complex algebraic geometry provers
- Portfolio theorem proving and prover runtime prediction for geometry
- Emscripten
- Geometry constructions language
- Geometrix
- ArgoTriCS
- Automated theorem proving in GeoGebra: current achievements
- GeoThms -- a web system for Euclidean constructive geometry
- An introduction to Java geometry expert. (Extended abstract)
- Formalization of Wu's simple method in Coq
- VirtualBox
- The relation tool in GeoGebra 5
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- GATP
- Automatic deduction in (dynamic) geometry: Loci computation
- HOARD ATINF
- WGL
- The area method. A recapitulation
- GeoCoq
- Geometry Tutor
- CHYPRE
- Baghera
- An introduction to geometry expert
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- paramGeo3D
- 3D-LD
- Automated Deduction in Geometry
- New algorithms for the perspective-three-point problem
- 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
- Solution classification for the nonperspective-three-point problem
- Connecting the 3D DGS Calques3D with the CAS Maple
This page was built for software: GEX
