Geometer's Sketchpad
From MaRDI portal
Software:17013
swMATH4858MaRDI QIDQ17013FDOQ17013
Author name not available (Why is that?)
Cited In (63)
- The Geometer's Sketchpad. Dynamic geometry software. Student edition
- The triangle of reflections
- A bridge between dynamic geometry and computer algebra
- A Student's Guide to the Study, Practice, and Tools of Modern Mathematics
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- A graphical user interface for formal proofs in geometry
- On the certain families of triangles
- A symbolic dynamic geometry system using the analytical geometry method
- Locus computation in dynamic geometry environment
- New dynamics in dynamic geometry: dragging constructed points
- Geometric construction by assembling solved subfigures
- Title not available (Why is that?)
- Connecting the 3D DGS Calques3D with the CAS Maple
- Triangles from the Feuerbach triangle
- Title not available (Why is that?)
- Regular heptagon's intersections circles
- Automated theorem proving in GeoGebra: current achievements
- Transformational plane geometry
- Infinite Regular Hexagon Sequences on a Triangle
- Title not available (Why is that?)
- Title not available (Why is that?)
- A software tool for the investigation of plane loci
- Automatic determination of envelopes and other derived curves within a graphic environment
- Title not available (Why is that?)
- Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- INCREASING THE USAGE OF THE AREA FOR ENRICHING THE TOOLBOX OF PROBLEM SOLUTION AND PROOF IN MATHEMATICS
- An old problem with a new twist
- 3D Generalisations of Viviani's theorem
- A proposal for the automatic computation of envelopes of families of plane curves
- Title not available (Why is that?)
- A novel dynamic mathematics system based on the Internet
- Exploring the lunes of Hippocrates in a dynamic geometry environment
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
- Exploring Classical Greek Construction Problems with Interactive Geometry Software
- A characterization of subgroup containment in direct products.
- Algorithm 951: Cayley analysis of mechanism configuration spaces using CayMos: software functionalities and architecture
- Automatically building diagrams for olympiad geometry problems
- Title not available (Why is that?)
- Title not available (Why is that?)
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Automated Deduction in Geometry
- On the discriminant of Grunert's system of algebraic equations and related topics
- The influence of GSP to understand and retain the knowledge of rectangles
- Title not available (Why is that?)
- Using conics to construct geometric 3-configurations. II: The generalized Steiner construction
- Dynamic geometry as a context for exploring conjectures
- Title not available (Why is that?)
- Empirical and Mathematical Study on the Brachistochrone Problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Triangles. III: Complex triangle functions
- Title not available (Why is that?)
- The ‘stop after k girls or N children’ policy
- Title not available (Why is that?)
- Non-traditional theorems unfolding
- An interesting property of hexagons
- Title not available (Why is that?)
This page was built for software: Geometer's Sketchpad