Solving Parametric Polynomial Equations And Inequalities By Symbolic Algorithms