Software using the Gröbner Cover for geometrical loci computation and classification

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...

Descripción completa

Detalles Bibliográficos
Autores: Abánades Astudillo, Miguel Ángel, Botana Ferreiro, Francisco Ramón|||0000-0002-0212-6470, Montes, Antonio, Recio Muñiz, Tomás|||0000-0002-1011-295X
Tipo de recurso: artículo
Fecha de publicación:2014
País:España
Institución:Universidad de Cantabria (UC)
Repositorio:UCrea Repositorio Abierto de la Universidad de Cantabria
Idioma:inglés
OAI Identifier:oai:repositorio.unican.es:10902/5391
Acceso en línea:http://hdl.handle.net/10902/5391
Access Level:acceso abierto
Palabra clave:Locus
Taxonomy
Dynamical Geometry
Groebner Cover
Descripción
Sumario: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.