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