Test for Lyapunov stability by rational operations

The problem of determining the positive definiteness of an arbitrary multivariable polynomial is transformed into an equivalent problem which is solvable by rational operations. Nontrivial examples which illustrate different aspects of the algorithm are given in connection with stability determination via Lyapunov's method.