Algorithmic Algebraic Combinatorics And Gröbner Bases