Constructible Sets

Constructible sets are needed in many algorithms of Computer Algebra, particularly in the Gröbner Cover and other algorithms for parametric polynomial systems. In this paper we review the canonical form of constructible sets and give algorithms for computing it.