Botana, F.; Valcarce, J.L. - In: Mathematics and Computers in Simulation (MATCOM) 61 (2003) 2, pp. 139-152
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...