Mechanical geometry theorem proving
Mechanical geometry theorem proving
Wu's method and its application to perspective viewing
Artificial Intelligence - Special issue on geometric reasoning
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Realization of a geometry-theorem proving machine
Computers & thought
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Integrating mathematica with C++ for the development of a computational geometry problem solver
Journal of Computing Sciences in Colleges
Automatic determination of envelopes and other derived curves within a graphic environment
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
GeoThms --- a Web System for Euclidean Constructive Geometry
Electronic Notes in Theoretical Computer Science (ENTCS)
Computing Locus Equations for Standard Dynamic Geometry Environments
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Geometry Constructions Language
Journal of Automated Reasoning
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
A web-based intelligent system for geometric discovery
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Automatic determination of algebraic surfaces as loci of points
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Adaptive user interactive sketching for teaching based on pen gesture
EPCE'07 Proceedings of the 7th international conference on Engineering psychology and cognitive ergonomics
Automatic verification of regular constructions in dynamic geometry systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A maple package for automatic theorem proving and discovery in 3D-geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Equal bisectors at a vertex of a triangle
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
On the parametric representation of dynamic geometry constructions
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Using free open source software for intelligent geometric computing
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Integrating dynamic geometry software, deduction systems, and theorem repositories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Automated discovery in elementary extrema problems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Thousands of geometric problems for geometric theorem provers (TGTP)
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |
This paper describes Discover, a program for learning and teaching geometry with the help of a computer. The program is a dynamic geometry environment that can communicate with Mathematica, using its symbolic capabilities to perform geometric discovery or rediscovery. Discover is specially suited to be used as a learning tool for geometry from the ages of 12 up to University. It permits the replacement of the traditional ruler and compass by electronic substitutes, as in standard dynamic geometry environments. Through its link with the computer algebra software, it enhances the process of conjecturing and proving. The results can be expressed in natural language or through the use of equations. The mathematical methods that Discover uses are sound, although not complete. Despite this last fact, almost all parts of the school curricula in plane geometry can be adequately treated with the program.