Pages that link to "Item:Q2354910"
From MaRDI portal
The following pages link to Automated generation of geometric theorems from images of diagrams (Q2354910):
Displaying 8 items.
- Using jointly geometry and algebra to determine RC-constructibility (Q1640643) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- A mechanical geometer (Q2071524) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams (Q3452283) (← links)
