Pages that link to "Item:Q3003235"
From MaRDI portal
The following pages link to An Introduction to Java Geometry Expert (Q3003235):
Displaying 17 items.
- JGEX (Q25527) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← 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)
- 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)
- Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
- Towards a geometry deductive database prover (Q6535443) (← links)
- Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)
- Online generation of proofs without words (Q6653964) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)
