OP-00777 Solution claimed Deciding nonnegativity of unnormalized univariate trace polynomials AG · AIM Open Applied Problems · decidability · power sums · trace polynomials