eJMT Abstract

Title On using automated deduction techniques for loci computing in dynamic geometry environments
Author Francisco BOTANA
Volume 5
Number 1

This note lists some personal thoughts about the uses of automated deduction techniques in standard dynamic geometry environments. Examples of limitations of current approaches for dealing with loci in such environments are given, and an alternative for computing these objects is discussed, illustrating its strengths and drawbacks. The paper also deals with extending this approach to the 3D case.