JGEX
From MaRDI portal
Software:25527
swMATH13613MaRDI QIDQ25527FDOQ25527
Author name not available (Why is that?)
Cited In (15)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- A review and prospect of readable machine proofs for geometry theorems
- Geometry constructions language
- Taxonomies of geometric problems
- Towards the Automatic Discovery of Theorems in GeoGebra
- The Relation Tool in GeoGebra 5
- Automated theorem proving in GeoGebra: current achievements
- 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 the arithmetization of Euclidean plane geometry and applications
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
- Formalization of Wu’s Simple Method in Coq
- Towards an intelligent and dynamic geometry book
- Rewriting input expressions in complex algebraic geometry provers
This page was built for software: JGEX
