Gröbner Bases in Symbolic Analysis