Pages that link to "Item:Q5270196"
From MaRDI portal
The following pages link to Development of automatic reasoning tools in GeoGebra (Q5270196):
Displaying 8 items.
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- A mechanical geometer (Q2071524) (← links)
- Two almost-circles, and two real ones (Q2071537) (← links)
- Automated study of a regular trifolium (Q2319442) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Towards an Automated Geometer (Q6108828) (← links)