SMS dit: Gröbner bases in symbolic analysis