@misc{indiciae106b3067be64,
  title = {A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes},
  author = {Miguel A. Abánades and Francisco Botana},
  year = {2013},
  url = {https://arxiv.org/abs/1306.1900},
  note = {Source identifier: 1306.1900}
}