The following pages link to (Q4394960):
Displaying 8 items.
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- (Q4935821) (← links)
- (Q5433133) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons (Q5453490) (← links)
