Text this: The theory of Gröbner bases and applications