Algorithmic algebraic combinatorics and gröbner bases.