發送短信: Computer alegebra and symbolic computation