An Algorithm for Designing Feedback Stabilizers of Nonlinear Polynomial   Systems
  The aim of this paper is to present a symbolic computational algorithm that will allow us to deal with the feedback stabilization problem for continuous nonlinear polynomial systems. The overall approach is based on a methodology that checks the positivity of a given polynomial. 
Stelios Kotsios