Title: Elimination Methods in Polynomial Computer Algebra