The conditions for verifying the stability of an equilibrium point in systems having polynomial and rational vector fields rely on non-negative functions which could result in NPHard problems.
En el caso de campos vectoriales y funciones de Lyapunov poligonales las condiciones para verificar la estabilidad del punto de equilibrio, son esencialmente pruebas de no negatividad que pueden resultar en problemas NP-Hard.