摘要：We will introduce the definition of comprehensive Groebner System (CGS) and present some efficient algorithms to compute the CGS of a parametric polynomial system.
We will also give some applications using CGS, including solving system of parametric polynomial equations, discovering geometric theorems automatically, performing quantifier elimination over an algebraic closed field and computing greatest common divisors of multivariate polynomials with parameters.
