Comment by zhamisen

Roughly speaking, Gröbner bases is used for symbolic computations while homotopy continuation is used for numeric computation of roots