Pages that link to "Item:Q6108821"
From MaRDI portal
The following pages link to Discovering Geometry Theorems in Regular Polygons (Q6108821):
Displaying 6 items.
- Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools (Q1798965) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- Inductive study on the re-organization of regular polygons in school mathematics (Q3452078) (← links)
- Automated discovery of angle theorems (Q6185786) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)
- A method for the automated discovery of angle theorems (Q6653969) (← links)