On algorithms testing positivity of real symmetric polynomials
scientific article; zbMATH DE number 7465113