Real polynomial equation solving Computational complexity Polynomials Algorithms Complexity Arithmetic circuit Arithmetic network Digital arithmetic Elimination procedure Geometric degree Geometry of polar varieties and its generalizations Computational geometry Matrix algebra Pebble game; time-space tradeoff; straight-line program; elimination theory Probability Theorem proving Vectors ALGEBRA Algebra Geometry Lower bounds Lower complexity Problem solving Singular hypersurface Arithmetic circuits Arithmetic networks Arithmetic operations Bezout number Cancridae Ciencias Informáticas