Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination: A MATLAB toolbox for parametric control system design - Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu (Applicable algebra in engineering, communication and computing, 2007)