Elimination Methods in Polynomial Computer Algebra