The following pages link to Automated Deduction in Geometry (Q5493322):
Displaying 5 items.
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- Geometry constructions language (Q2655329) (← links)
- (Q4386951) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)