Software for discussing parametric polynomial systems : the Gröbner cover
Tipus de documentText en actes de congrés
Condicions d'accésAccés restringit per política de l'editorial
We 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  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.
CitacióMontes, A.; Wibmer, M. Software for discussing parametric polynomial systems : the Gröbner cover. A: International Congress on Mathematical Software. "Mathematical Software : ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014 : Proceedings". Seoul: 2014, p. 406-413.
Versió de l'editorhttp://link.springer.com/chapter/10.1007%2F978-3-662-44199-2_62
|Montes - Wibmer.pdf||215.4Kb||Accés restringit|