Geometer's Sketchpad - MaRDI portal

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