|
Title:
|
Computing the canonical representation of constructible sets
|
|
Author:
|
Brunat Blay, Josep Maria; Montes Lozano, Antonio
|
|
Other authors:
|
Universitat Politècnica de Catalunya. MD - Matemàtica Discreta; Universitat Politècnica de Catalunya. DCCG - Grup de recerca en geometria computacional, combinatoria i discreta |
|
Abstract:
|
Constructible sets are needed in many algorithms of Computer Algebra, particularly in the GröbnerCover and other algorithms for parametric polynomial systems. In this paper we review the canonical form ofconstructible sets and give algorithms for computing it. |
|
Abstract:
|
Peer Reviewed |
|
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica
-Constructibility (Set theory)
-Canonical representation
-Comprehensive Gröbner system
-Constructible sets
-Gröbner Cover
-Locally closed sets
-Parametric polynomial system
-Constructibilitat (Teoria de conjunts) |
|
Rights:
|
|
|
Document type:
|
Article - Submitted version
Article |
|
Share:
|
|
