Pages that link to "Item:Q1995811"
From MaRDI portal
The following pages link to Automated detection of interesting properties in regular polygons (Q1995811):
Displaying 3 items.
- Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools (Q1798965) (← links)
- Discovering Geometry Theorems in Regular Polygons (Q6108821) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)