Deakstadieđáhus: Gröbner bases in symbolic analysis