The following pages link to Geometer's Sketchpad (Q17013):
Displaying 38 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)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials (Q1632383) (← links)
- A novel dynamic mathematics system based on the Internet (Q1662280) (← links)
- Using conics to construct geometric 3-configurations. II: The generalized Steiner construction (Q1685546) (← links)
- A proposal for the automatic computation of envelopes of families of plane curves (Q1730307) (← links)
- On the discriminant of Grunert's system of algebraic equations and related topics (Q1799507) (← links)
- A software tool for the investigation of plane loci (Q1861521) (← links)
- Automatic determination of envelopes and other derived curves within a graphic environment (Q1887816) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- Locus computation in dynamic geometry environment (Q2319440) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Regular heptagon's intersections circles (Q2461421) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- (Q2721466) (← links)
- (Q2760193) (← links)
- (Q2761916) (← links)
- Exploring the lunes of Hippocrates in a dynamic geometry environment (Q2818289) (← links)
- Algorithm 951 (Q2828156) (← links)
- Exploring Classical Greek Construction Problems with Interactive Geometry Software (Q2829292) (← links)
- (Q2836408) (← links)
- (Q2860939) (← links)
- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation (Q2879129) (← links)
- (Q2922401) (← links)
- (Q2928599) (← links)
- (Q2973567) (← links)
- A Student's Guide to the Study, Practice, and Tools of Modern Mathematics (Q3061017) (← links)
- (Q3080399) (← links)
- (Q3114188) (← links)
- (Q3148404) (← links)
- (Q3151398) (← links)
- Empirical and Mathematical Study on the Brachistochrone Problem (Q5173868) (← links)
