A refutational approach to geometry theorem proving
Artificial Intelligence - Special issue on geometric reasoning
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
Structured matrices in the application of bivariate interpolation to curve implicitization
Mathematics and Computers in Simulation
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
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
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
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Automated discovery in elementary extrema problems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |
Dynamic geometry programs provide environments where accurate construction of geometric configurations can be done. Nevertheless, intrinsic limitations in their standard development technology mostly produce objects that are equationally unknown and so can not be further used in constructions. In this paper, we pursue the development of a geometric system that uses in the background the symbolic capabilities of two computer algebra systems, CoCoA and Mathematica. The cooperation between the geometric and symbolic modules of the software is illustrated by the computation of plane envelopes and other derived curves. These curves are described both graphically and analytically. Since the equations of these curves are known, the system allows the construction of new elements depending on them.