Which group was there no systematic program for their elimination ?
This is the case of the theory of the polynomials over an algebraically closed field , and " elimination theory " may be viewed as the theory of the methods making quantifier elimination effective ( algorithmic ) in this case .