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.