Title: Gröbner Bases in Symbolic Analysis