Using Gröbner bases to reason about geometry problems
Journal of Symbolic Computation
Mechanical geometry theorem proving
Mechanical geometry theorem proving
A refutational approach to geometry theorem proving
Artificial Intelligence - Special issue on geometric reasoning
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second 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
A web-based intelligent system for geometric discovery
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
A symbolic companion for interactive geometric systems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues in standard dynamic geometry environments, such as computing envelopes of lines which are not primitive objects known by the geometric system, can be efficiently solved using the correspondence between geometry and algebra. We also propose enriching the tool (or macro) mechanism, available in some environments, with our parametric approach. Finally, some problems arising from the algebraic method considered are also studied.