Pages that link to "Item:Q286780"
From MaRDI portal
The following pages link to Automated theorem proving in GeoGebra: current achievements (Q286780):
Displaying 19 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← 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)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- A mechanical geometer (Q2071524) (← links)
- Locus computation in dynamic geometry environment (Q2319440) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems (Q6157643) (← links)
- Automated discovery of angle theorems (Q6185786) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
