Wilf-Zeilberger的实现及相关方法

Petkovsek，Wilf和Zeilberger 的《A = B》一书描述了用于计算不同二项式和的算法。AFAIK，这些算法仍由不同的作者改进。

您知道我们在哪里可以找到这些算法的最新实现吗？而且您知道某些免费软件（例如Sage）中是否存在实现？

ds.algorithms co.combinatorics implementation

— 布鲁诺
source

尝试邮寄他编写的Doron Zeilberger 。在这里。

— Pratik Deoghare'4

@PratikDeoghare，他用Maple写作，这不是免费的。如果您知道将Maple代码自动移植到例如Sage的工具，那将是一个答案。

— 彼得·泰勒

@PeterTaylor：当然，我对Maple的实现并不完全满意，因为我更喜欢免费的替代方案。对于Sage，我找到了此页面。似乎尚未实施。

— 布鲁诺

可找到有关贤者一些进一步的信息在这里

— 蒂莫西·周

如果有人感兴趣，我已经打开trac.sagemath.org/ticket/16619在Sage中实施WZ（或任何最近的研究-这根本不是我的领域）。

— kcrisman 2014年

它在Sage具有接口的Maxima（http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400）中实现。我今天测试了几十个示例（从非常容易到非常困难），其工作方式与在Maple中完全相同。

— 弗拉基米尔·多琴科（Vladimir Dotsenko）
source

PS还有一个我刚刚注意到但还没有测试的最新智者实现：请参阅网页 arminstraub.com/teaching/specialfunctions-summer16

— Vladimir

谢谢弗拉基米尔。您在评论中提到的实现存在一个问题，那就是它依赖于Kauers的Ore代数软件包，当前已被破坏。

— 布鲁诺

@Bruno：谢谢你让我知道！注意到，我没有意识到这一点。值得庆幸的是，Maxima实现似乎可以满足我的需求。（我本人在寻找自由软件实现过程中完全是偶然发现了您的问题...）

— Vladimir Dotsenko

@Bruno：我不得不说我在Maxima实现中发现了一个奇怪的错误，所以也许您不应该接受这个答案。我将在周末向开发人员提交错误报告。

— 弗拉基米尔·多琴科

@Bruno：请参见sourceforge.net/p/maxima/mailman/message/35755540

— Vladimir Dotsenko