The following pages link to Towards an Automated Geometer (Q6108828):
Displaying 17 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools (Q1798965) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- A mechanical geometer (Q2071524) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- GeoThms -- a web system for Euclidean constructive geometry (Q2867934) (← links)
- A sustainable geometry automated reasoning platform (Q2917018) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Automated Deduction in Geometry (Q5902023) (← links)
- Automated discovery of angle theorems (Q6185786) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)
- GeoGebra discovery in context (Q6653968) (← links)
- A method for the automated discovery of angle theorems (Q6653969) (← links)