A complexity analysis of the F4 Gröbner basis algorithm with tracer data

Robin Kouba, Vincent Neiger, Mohab Safey El Din

We provide a new complexity bound for the computation of grevlex Gröbner bases in the generic zero-dimensional case, relying on Moreno-Socías' conjecture. We first formalize a prop…