Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. - Noriko Hyodo; Myunghoon Hong; Hitoshi Yanami; Shinji Hara; Hirokazu Anai (Appl. Algebra Eng. Commun. Comput., 2007)