發送短信: Modular algorithms in symbolic summation and symbolic integration / Jürgen Gerhard.