On the intrinsic complexity of elimination problems in effective algebraic geometry
Joos Heintz, Bart Kuijpers, Andrés Rojas Paredes · Contemporary mathematics - American Mathematical Society · 2013
The representation of polynomials by arithmetic circuits evaluating them is an alternative data structure which allowed considerable progress in polynomial equation solving in the last fifteen years. We present a circuit based computation model which captures the core of all known symbolic elimination algorithms that avoid unnecessary branchings in effective algebraic geometry and show the intrinsically exponential complexity character of elimination in this complexity model.