Text this: Gröbner bases in symbolic analysis /