Miguel A. Abánades, Francisco Botana. A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes. In Jacques Carette, David Aspinall, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger, editors, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Volume 7961 of Lecture Notes in Computer Science, pages 349-353, Springer, 2013. [doi]
Abstract is missing.