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 4 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The area method. A recapitulation (Q437042) (← 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)
