Pages that link to "Item:Q2912124"
From MaRDI portal
The following pages link to An Introduction to Automated Discovery in Geometry through Symbolic Computation (Q2912124):
Displaying 7 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Automated study of a regular trifolium (Q2319442) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)
- An efficient method of finding new symplectic schemes for Hamiltonian mechanics problems with the aid of parametric Gröbner bases (Q6117702) (← links)
