Lower Bounds for the Polynomial Calculus and the Gröbner Basis Algorithm

Russell Impagliazzo, Pavel Pudlák, Jiri Sgall. Lower Bounds for the Polynomial Calculus and the Gröbner Basis Algorithm. Computational Complexity, 8(2):127-144, 1999.

Abstract

Abstract is missing.