A Certificate of Global Asymptotic Stability for Planar Polynomial Systems

An algorithmic procedure is given for obtaining a certificate of global asymptotic stability for planar polynomial systems having the origin as equilibrium point. The procedure is not Lyapunov based and uses methods from Algebraic Geometry to study the sign of polynomial functions