1. RationalSum.mpl - a procedure implementing various algorithms of indefinite summation of rational functions in Maple. Created by S.P. Polyakov. See details in the specifications file.

2. MinimalAnnihilator.mpl - a procedure computing an annihilating operator of minimal order for a bivariate hypergeometric sequence. Created by S.P. Polyakov. See details in the specifications file.

ZeilbergerHR.mpl - Zeilberger's algorithm modified to make use of the minimal annihilating operators algorithm in homogeneous case. Implemented by H.Q. Le, modified by S.P. Polyakov. See details in the specifications file.

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial 3.0 Unported