Computational complexity of decision procedures for polynomials | IEEE Conference Publication | IEEE Xplore