Software using the Gröbner cover for geometrical loci computation and classification

We describe here a properly recent application of the Gröbner Cover algorithm (GC) providing an algebraic support to Dynamic Geometry computations of geometrical loci. It provides a complete algebraic solution of locus computation as well as a suitable taxonomy allowing to distinguish the nature of the different components. We included a new algorithm Locus into the Singular grobcov.lib library for this purpose. A web prototype has been implemented using it in Geogebra.Peer Reviewe