The following pages link to JGEX (Q25527):
Displaying 15 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- 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 (Q616847) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Geometry constructions language (Q2655329) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)