Pages that link to "Item:Q2819196"
From MaRDI portal
The following pages link to Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196):
Displaying 6 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- Locus computation in dynamic geometry environment (Q2319440) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Towards an Automated Geometer (Q6108828) (← links)