For ideals $I$ of some algebra $k[x_1,...,x_n]$ a set of generators is in general not unique. When considering the technique of term orders and initial ideals one can compute a subset of the ideal, the so-called Gröbner Basis, with respect to this term order. A reduced form of this Gröbner Basis is in fact unique for a given term order and a generates the ideal. These Gröbner Bases have proven to be useful for many applications from solving polynomial equations to moduli spaces.