Minimal Canonical Comprehensive Groebner Systems

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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 Groebner System (MCCGS) 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 MCCGS is given, completing so the whole MCCGS algorithm (implemented in Maple). We show its high utility for applications, like automatic theorem proving and discovering, and compare it with other existing methods. A way to detect a counterexample is outlined, although the high number of tests done give evidence of the existence of the MCCGS.
23 pages, 7 figures. New version

Keywords

Commutative Algebra, 68W30, 13P10, 13F10

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/128608

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0611948
 http://arxiv.org/abs/math/0611948

Collections

arXiv