Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System. - Michael Gerhäuser; Alfred Wassermann (Automated Deduction in Geometry, 2010)