DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/11788

Arxiu Descripció MidaFormat
minimal_canonical_grobner.pdf251,26 kBAdobe PDFThumbnail
Veure/Obrir

Citació: Manubens, M.; Montes, A. Minimal canonical comprehensive Gröbner systems. "Journal of symbolic computation", 2009, vol. 44, núm. 5, p. 463-478.
Títol: Minimal canonical comprehensive Gröbner systems
Autor: Manubens Ferriol, Montserrat Veure Producció científica UPC; Montes Lozano, Antonio Veure Producció científica UPC
Data: 2009
Tipus de document: Article
Resum: 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
URI: http://hdl.handle.net/2117/11788
DOI: 10.1016/j.jsc.2007.07.022
Apareix a les col·leccions:Altres. Enviament des de DRAC
DCCG - Grup de recerca en geometria computacional, combinatoria i discreta. Articles de revista
Institut de Robòtica i Informàtica Industrial, CSIC-UPC. Articles de revista
Departaments de Matemàtica Aplicada. Articles de revista
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Aquest ítem (excepte textos i imatges no creats per l'autor) està subjecte a una llicència de Creative Commons Llicència Creative Commons
Creative Commons

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius