The following pages link to (Q4238968):
Displaying 5 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons (Q5453490) (← links)
