#### Abstract

A new Maple package RootFinding[Parametric]for solving parametric systems of polynomial equations and inequalities is described. The main idea for solving such a system is as follows. The parameter space R is divided into two parts: the discriminant variety W and its complement Rd\W . The discriminant variety is a generalization of the well-known… (More)