A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
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
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Remarks on Geometric Theorem Proving
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
GEOTHER: A Geometry Theorem Prover
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
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
The Interactive Geometry Software Cinderella.2
The Interactive Geometry Software Cinderella.2
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
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
Geometry Constructions Language
Journal of Automated Reasoning
Adding remote computational capabilities to Dynamic Geometry Systems
Mathematics and Computers in Simulation
Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
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
Automated discovery in elementary extrema problems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
| Hi-index | 0.00 |
The goal of this paper is to report on a prototype of a new dynamic geometry software, GDI (Geometría Dinámica Inteligente). We will describe how, apart from being a standard dynamic environment for elementary geometry, GDI addresses some key problems of the dynamic geometry paradigm, by including enhanced tools for loci generation and automatic proving, plus another distinguished feature, namely, a discovery option, allowing the user to find complementary hypotheses for arbitrary statements to become true. The key technique for all these improvements is the development of an automatic “bridge” between the graphic and the algebraic counterparts of the program (calling on an external computer algebra system).