A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes | Publicación