發送短信: Symbolic computation and education