Complexity estimates 4 Computational complexity 4 Polynomials 4 Algebraic varieties 2 Arithmetic operations 2 Complexity bounds 2 Computer experiment 2 Degree of varieties 2 Geometry 2 Hyper-surfaces 2 Intrinsic complexity 2 Numerical analysis 2 Polynomial optimization 2 Probabilistic algorithm 2 Quasi-poly-nomial 2 Real polynomial equation solving 2 Real polynomial equation solving, Singularities, Classic polar varieties, Dual polar varieties, Generic polar varieties, Meagerly generic polar varieties 2 Semi-algebraic sets 2 Sufficient criterion 2