Real polynomial equation solving 8 Computational complexity 5 Algorithms 4 Arithmetic circuit 4 Arithmetic network 4 Complexity 4 Elimination procedure 4 Geometric degree 4 Geometry of polar varieties and its generalizations 4 Polynomials 4 Computational geometry 3 Digital arithmetic 3 Matrix algebra 3 Probability 3 Theorem proving 3 Vectors 3 Geometry 2 Intrinsic complexity 2 Singularities 2 Algebraic varieties 1 Arithmetic networks 1 Complexity bounds 1 Complexity estimates 1 Computer experiment 1 Copolar and bipolar varieties 1 Degree of varieties 1 Degree of variety 1 Degrees of freedom (mechanics) 1 General purpose computers 1 Geometry of polar varieties 1