Michael Gerhäuser, Alfred Wassermann. Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System. In Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert, editors, Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Volume 6877 of Lecture Notes in Computer Science, pages 68-77, Springer, 2010. [doi]
Abstract is missing.