In general, is there any efficient approach to determine if a polynomial over $\mathbb{R}$ is positive?
The only constraint here is that the polynomial can only have a maximum of 5 or 10 variables. If so, there is an available tool to use, maybe something that you tried before?