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 10 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)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach (Q6653961) (← links)
- Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)