The following pages link to GEX (Q21940):
Displaying 31 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- The area method. A recapitulation (Q437042) (← 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)
- Solution classification for the nonperspective-three-point problem (Q863022) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- A software tool for the investigation of plane loci (Q1861521) (← links)
- Automatic determination of envelopes and other derived curves within a graphic environment (Q1887816) (← links)
- Automated generation of Kempe linkage and its complexity (Q1966109) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Geometry constructions language (Q2655329) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- An Introduction to Java Geometry Expert (Q3003235) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System (Q3582714) (← links)
- An introduction to geometry expert (Q4647519) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- Automated Deduction in Geometry (Q5902024) (← links)
- New algorithms for the perspective-three-point problem (Q5942695) (← links)
