The following pages link to Detecting truth, just on parts (Q2425054):
Displaying 6 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- A mechanical geometer (Q2071524) (← links)
- Two almost-circles, and two real ones (Q2071537) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)
- Open geometry prover community project (Q6653967) (← links)