Pages that link to "Item:Q5453491"
From MaRDI portal
The following pages link to A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491):
Displaying 6 items.
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- A brief note on the approach to the conic sections of a right circular cone from dynamic geometry (Q1701660) (← links)
- Using fractals and \textit{Turtle Geometry} to visually explain the spread of a virus to kids: a STEM multitarget activity (Q2071529) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach (Q6653961) (← links)
- Two new ways to formally prove Dandelin-Gallucci's theorem (Q6666520) (← links)
