Arithmetic circuit 6 Computational complexity 6 Polynomials 6 Algorithms 5 Complexity 5 Arithmetic network 4 Digital arithmetic 4 Elimination procedure 4 Geometric degree 4 Geometry of polar varieties and its generalizations 4 Real polynomial equation solving 4 Computational geometry 3 Geometry 3 Matrix algebra 3 Polynomial equation system; arithmetic circuit; shape (or primitive element) lemma; Newton-Hensel iteration 3 Probability 3 Theorem proving 3 Vectors 3 Polynomial equation solving 2 Problem solving 2 Algebra 1 Algebraic geometry 1 Arithmetic circuits 1 Arithmetic networks 1 Arithmetic operations 1 Bezout number 1 Branching parsimonious algorithm 1 Computation model 1 Connected component 1 Constraint Databases 1