Hi,

given a ploynomial in three variables x,y,z, I want to check if it is nonnegative for all (x,y,z) in R^3.

I know there is a function 'verify' in maple but it doesn't work with my polynomial, I think it's too complex.

Do you have any idea which other function I could try?

Thank you

flower15