Efficient Algorithms for Guessing, Inequalities, Summation

CORRPS (COmplete Reduction for RPiSigma-towers) is a Mathematica package which computes for an element in a given RΠΣ-tower a remainder w.r.t. a complete reduction for this tower. The package also contains functions for creative telescoping and parametric telescoping, ...