Pages that link to "Item:Q5453488"
From MaRDI portal
The following pages link to Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488):
Displayed 4 items.
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Minimal canonical comprehensive Gröbner systems (Q1012136) (← links)
- Cylinders Through Five Points: Complex and Real Enumerative Geometry (Q5453486) (← links)