Pages that link to "Item:Q846167"
From MaRDI portal
The following pages link to On protocols for the automated discovery of theorems in elementary geometry (Q846167):
Displayed 6 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)