Pages that link to "Item:Q616847"
From MaRDI portal
The following pages link to 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):
Displaying 7 items.
- 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)
- Taxonomies of geometric problems (Q2334578) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
