保罗，彼得;马库斯·肖恩 A类数学软件证明二项式系数恒等式的Zeilberger算法的版本。 （英文） Zbl 0851.68052号 J.塞姆。计算。 20，编号5-6，673-698（1995）. 摘要：基于Gosper的不定超几何求和算法，Zeilberger的二项式系数恒等式证明算法是符号计算领域的最新突破。描述了这些算法的Mathematica实现。为了说明这些包的用法，我们给出了一些非平凡的示例，这些包可以通过向第一作者发送电子邮件请求获得。 引用于1审查引用于72文件 MSC公司： 68瓦30 符号计算和代数计算 关键词：数学;不定超几何求和 软件：fastZeil公司;数学软件 PDF格式BibTeX公司 XML格式引用 \textit{P.Paule}和\textit{M.Schorn}，J.Symb。计算。20，编号5--6，673--698（1995；Zbl 0851.68052） 全文： 内政部