Laboratoire de l'informatique du parallélisme; Koiran, Pascal; Fournier, Hervé
(1997-10)
(eng) We show that proving lower bounds in algebraic models of computation may not be easier than in the standard Turing machine model. For instance, a superpolynomial lower bound on the size of an algebraic circuit solving ...