Pages that link to "Item:Q1099656"
From MaRDI portal
The following pages link to A method for the mechanical derivation of formulas in elementary geometry (Q1099656):
Displaying 7 items.
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- On the automatic derivation of a set of geometric formulae (Q1895166) (← links)
- (Q4384625) (← links)
- (Q4935821) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)