發送短信: Computer algebra and symbolic computation