Automatic calculation of plane loci using Gröbner bases and integration into a dynamic geometry system
Michael Gerhäuser ; Alfred Wassermann ;

2011, Heidelberg, Springer, in: Automated Deduction in Geometry editor:P. Schreck; J. Narboux; J. Richter-Gebert Doi-Nummer: 10.1007/978-3-642-25070-5_4

Universität Bayreuth -