In this paper symbolic-computation methods are used to design simple fixed-structure robust controller for nonlinear systems. Design specifications are reduced to logically quantified polynomial inequalities. The quantifier-elimination (QE) software package QEPCAD is used to eliminate quantifiers on state and plant parameters, to obtain regions of admissible controller parameters, that guarantee robust stability and performance.