Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations


Consider a system of n polynomial equations and r polynomial inequations in n indeterminates of degree bounded by d with coefficients in a polynomial ring of s parameters with rational coefficients of bit-size at most $\sigma$. From the real viewpoint, solving such a system often means describing some semi-algebraic sets in the parameter space over which… (More)


  • Presentations referencing similar topics