The following pages link to Geometer's Sketchpad (Q17013):
Displaying 6 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- A characterization of subgroup containment in direct products. (Q473290) (← links)
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- Triangles. III: Complex triangle functions (Q675204) (← links)
- Empirical and Mathematical Study on the Brachistochrone Problem (Q5173868) (← links)
