Pages that link to "Item:Q5307230"
From MaRDI portal
The following pages link to Computational Science and Its Applications – ICCSA 2004 (Q5307230):
Displaying 6 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Some issues on the automatic computation of plane envelopes in interactive environments (Q2228804) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)