A method to prove the positiveness of polynomials - Steinbach, Joachim (Fachbereich Informatik, Univ. Kaiserslautern, 1991)