Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleSoftware for discussing parametric polynomial systems: the Gr\"obner cover.
Author(s) Antonio Montes, Michael Wibmer
TypeBook, Chapter in Book, Conference Proceeding
AbstractWe present the canonical Gröbner Cover method for discussing parametric polynomial systems of equations. Its objective is to decompose the parameter space into subsets (segments) for which it exists a generalized reduced Gröbner basis in the whole segment with fixed set of leading power products on it. Wibmer’s Theorem guarantees its existence. The Gröbner Cover is designed in a joint paper of the authors, and the Singular grobcov.lib library [15] implementing it, is developed by Montes. The algorithm is canonic and groups the solutions having the same kind of properties into different disjoint segments. Even if the algorithms involved have high complexity, we show how in practice it is effective in many applications of medium difficulty. An interesting application to automatic deduction of geometric theorems is roughly described here, and another one to provide a taxonomy for exact geometrical loci computations, that is experimentally implemented in a web based application using the dynamic geometry software Geogebra, is explained in another session.
KeywordsGroebner cover, parametric polynomial, canonical algorithm, automatic theorem discovering
URL http://link.springer.com/chapter/10.1007%2F978-3-662-44199-2_62
PublisherBerlin: Springer
Translation No
Refereed No