Pages that link to "Item:Q616846"
From MaRDI portal
The following pages link to Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846):
Displaying 10 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
