Modular Algorithms in Symbolic Summation and Symbolic Integration - Jürgen Gerhard ((Lecture Notes in Computer Science))