Minimal canonical comprehensive Gröbner systems

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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of symbolic computation Ročník 44; číslo 5; s. 463 - 478
Hlavní autoři: Manubens, Montserrat, Montes, Antonio
Médium: Journal Article Publikace
Jazyk:angličtina
Vydáno: Elsevier Ltd 01.05.2009
Témata:
13 Commutative rings and algebras
13F Arithmetic rings and other special rings
13P Computational aspects of commutative algebra
68 Computer science
68W Algorithms
Algorismes
Algorithms
Canonical
Classificació AMS
Commutative algebra
Comprehensive Gröbner system
Constructible sets
Generalized canonical specification
Investigació operativa
Matemàtiques i estadística
Minimal
Programació matemàtica
Reduced specification
Àlgebra commutativa
Àrees temàtiques de la UPC
Reduced specification
Generalized canonical specification
Constructible sets
Canonical
Comprehensive Gröbner system
Minimal
ISSN:0747-7171, 1095-855X
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISSN:0747-7171
1095-855X
DOI:10.1016/j.jsc.2007.07.022