Elimination Methods In Polynomial Computer Algebra