发送短信: Symbolic computation and education