Complexity of Solving a System of Polynomial Equations It can be easily seen that solving systems of polynomial (i.e. not necessarily linear) equations is NP-Hard via reduction from SAT. Furthermore, because the existential theory of the reals is decidable in PSPACE, solving systems of polynomial equations is as well. What else is known about the complexity of this problem? For example, I have been unable to determine if it is known to be $\exists R$-Complete, or PSPACE-Complete.
Solving systems of polynomial equations over the reals is $\exists \mathbb R$-complete by definition, and it is a major open problem whether this complexity class equals PSPACE. See this.