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):
Displaying 17 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
- Minimal canonical comprehensive Gröbner systems (Q1012136) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System (Q3102736) (← links)
- (Q3838770) (← links)
- (Q5315154) (← links)
- Cylinders Through Five Points: Complex and Real Enumerative Geometry (Q5453486) (← links)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)