Minimal canonical comprehensive Gröbner systems
Visualitza/Obre
Cita com:
hdl:2117/11788
Tipus de documentArticle
Data publicació2009
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
This is the continuation of Montes' paper "On the canonical discussion of polynomial systems with parameters''. In this paper, we define the Minimal Canonical Comprehensive Gröbner System of a parametric ideal and fix under which hypothesis it exists and is computable. An algorithm to obtain a canonical description of the segments of the Minimal Canonical CGS is given, thus completing the whole MCCGS algorithm (implemented in Maple and Singular). We show its high utility for applications, such as automatic theorem proving and discovering, and compare it with
other existing methods. A way to detect a counterexample to deny its existence is outlined, although the high number of tests done give evidence of the existence of the Minimal Canonical CGS.
CitacióManubens, M.; Montes, A. Minimal canonical comprehensive Gröbner systems. "Journal of symbolic computation", 2009, vol. 44, núm. 5, p. 463-478.
ISSN0747-7171
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
minimal_canonical_grobner.pdf | 251,2Kb | Visualitza/Obre |