Real polynomial equation solving 10 Computational complexity 8 Algorithms 6 Arithmetic circuit 6 Arithmetic network 6 Complexity 6 Elimination procedure 6 Geometric degree 6 Geometry of polar varieties and its generalizations 6 Polynomials 6 Computational geometry 4 Digital arithmetic 4 Geometry 4 Matrix algebra 4 Polar varieties 4 Probability 4 Theorem proving 4 Vectors 4 Algebraic varieties 2 Arithmetic networks 2 Bertini 2 Bertini smoothness theorem 2 Complexity bounds 2 Complexity estimates 2 Computer experiment 2 Degrees of freedom (mechanics) 2 Deligne estimate 2 Finite fields 2 General purpose computers 2 Geometry of polar varieties 2