The following pages link to A mechanical geometer (Q2071524):
Displaying 6 items.
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
- Automated discovery of angle theorems (Q6185786) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)
- Open geometry prover community project (Q6653967) (← links)
- GeoGebra discovery in context (Q6653968) (← links)