發送短信: Gröbner bases in symbolic analysis