Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abanades, M., Botana, F., Montes, A., Recio, T.: An Algebraic Taxonomy for Locus Computation in Dynamic Geometry. Computer Aided Design (to appear, 2014)
Kapur, D., Sun, Y., Wang, D.: A new algorithm for computing comprehensive Gröbner systems. In: Proceedings of ISSAC 2010, pp. 29–36. ACM Press, New York (2010)
Botana, F.: Locus Prototype (2012), http://webs.uvigo.es/fbotana/LocusGC/
Montes, A.: Using Kapur-Sun-Wang algorithm for the Gröbner Cover. In: Sendra, R., Villarino, C. (eds.) Proceedings of EACA 2012, pp. 135–138. Universidad de Alcalá de Henares (2012)
Montes, A., Wibmer, M.: Gröbner bases for polynomial systems with parameters. Jour. Symb. Comp. 45, 1391–1425 (2010)
Wibmer, M.: Gröbner bases for families of affine or projective schemes. Jour. Symb. Comp. 42, 803–834 (2007)
Singular, http://www.singular.uni-kl.de/ (last accessed February 2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abánades, M.A., Botana, F., Montes, A., Recio, T. (2014). Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. In: Hong, H., Yap, C. (eds) Mathematical Software – ICMS 2014. ICMS 2014. Lecture Notes in Computer Science, vol 8592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_74
Download citation
DOI: https://doi.org/10.1007/978-3-662-44199-2_74
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44198-5
Online ISBN: 978-3-662-44199-2
eBook Packages: Computer ScienceComputer Science (R0)