Gröbner Bases and Applications