The following pages link to Detecting truth, just on parts (Q2425054):
Displaying 4 items.
- 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)