TY - RPRT TI - A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes AU - Miguel A. Abánades AU - Francisco Botana PY - 2013 UR - https://arxiv.org/abs/1306.1900 ID - 1306.1900 ER -