Wu's method and its application to perspective viewing
Artificial Intelligence - Special issue on geometric reasoning
A refutational approach to geometry theorem proving
Artificial Intelligence - Special issue on geometric reasoning
A new lower bound construction for commutative thue systems with applications
Journal of Symbolic Computation
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
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
Computing Locus Equations for Standard Dynamic Geometry Environments
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Adding remote computational capabilities to Dynamic Geometry Systems
Mathematics and Computers in Simulation
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
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
A symbolic companion for interactive geometric systems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
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
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
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 |
We describe the capabilities of Lugares for obtaining the equations and graphs of plane loci. Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis computations, or Mathematica. The main novelty in Lugares consists of the link between the dynamic geometry paradigm and a symbolic approach to automatic discovery in geometry. Through this link Lugares determines as a locus almost any algebraic curve specified by geometric conditions.