  The goal of this paper is to provide computational tools able to find a
solution of a system of polynomial inequalities. The set of inequalities is
reformulated as a system of polynomial equations. Three different methods, two
of which taken from the literature, are proposed to compute solutions of such a
system. An example of how such procedures can be used to solve the static
output feedback stabilization problem for a linear parametrically-varying
system is reported.
