Complexity Polynomials Sign determination Computational complexity Algorithms Approximation theory Bit complexity Consistency problem Finite set Game theory Integer programming Multihomogeneous resultants Nash equilibria Noncooperative game theory Optimization on polyhedra Polynomial equation Polynomial equation solving Polynomial equations and inequations systems Polynomial optimization Positivity of polynomials Problem solving Real multivariate polynomials Real roots Sign conditions Straight line program Deformation techniques Univariate Absolute values Algebraic degrees Arbitrary graphs