法斯特泽尔

证明二项式系数恒等式的Zeilberger算法的数学版本。在Gosper不定超几何求和算法的基础上,Zeilberger证明二项式系数恒等式的算法是符号计算的最新突破。描述了这些算法的Mathematica实现。为了说明这些包的用法,我们给出了一些重要的示例,这些包可以通过电子邮件请求提供给第一个指定的作者。