This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Groebner Cover, the most accurate algebraic method for discussing parametric polynomial systems. It also includes applications to the Automatic Deduction of Geometric Theorems, Loci Computation and Envelopes. The theoretical part is a self-contained exposition on the theory of Parametric Groebner Systems and Bases. It begins with Weispfenning's introduction of Comprehensive Groebner Systems (CGS) in 1992, and provides a complete description of the...