A dynamic symbolic geometry environment based on the Gr\"obnerCover algorithm for the computation of geometric loci and envelopes
Algebraic Geometry
2013-06-11 v1
Abstract
An enhancement of the dynamic geometry system GeoGebra for the automatic symbolic computation of algebraic loci and envelopes is presented. Given a GeoGebra construction, the prototype, after rewriting the construction as a polynomial system in terms of variables and parameters, uses an implementation of the recent Gr\"obnerCover algorithm to obtain the algebraic description of the sought locus/envelope as a locally closed set. The prototype shows the applicability of these techniques in general purpose dynamic geometry systems.
Keywords
Cite
@article{arxiv.1306.1900,
title = {A dynamic symbolic geometry environment based on the Gr\"obnerCover algorithm for the computation of geometric loci and envelopes},
author = {Miguel A. Abánades and Francisco Botana},
journal= {arXiv preprint arXiv:1306.1900},
year = {2013}
}
Comments
Conferences on Intelligent Computer Mathematics, CICM 2013, 8-12 July 2013, Bath, UK 5 pages, 2 figures