The following pages link to (Q4531855):
Displaying 4 items.
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)