The sumtools package is a collection of commands for computing indefinite and definite sums.  The principal routines are Gosper's algorithm for indefinite summation and Zeilberger's algorithm, and extensions to both algorithms by Koepf. Note, setting infolevel[sum] to be 1,2,3 will cause some diagnostics to be printed out.

Each command in the sumtools package can be accessed by using either the long form or the short form of the command name in the command calling sequence.

The following is a list of available commands.

To display the help page for a particular sumtools command, see Getting Help with a Command in a Package.

Gosper, R.W., Jr. "Decision procedure for indefinite hypergeometric summation." Proc. Nat. Acad. Sci. USA 75. (1978): 40-42.

Koepf, Wolfram. "Algorithms for the indefinite and definite summation." Preprint SC 94-33. Berlin: Konrad-Zuse-Zentrum (ZIB), December 1994.

Koornwinder, T.H. "On Zeilberger's algorithm and its q-analogue: a rigorous description." J. of Comput. and Appl. Math. Vol. 48. (1993): 91-111.

Zeilberger, D. "A fast algorithm for proving terminating hypergeometric identities." Discrete Math. Vol. 80. (1990): 207-211.