Elimination methods in polynomial computer algebra - CORE