Wilf-Zeilbergerおよび関連するメソッドの実装

Petkovsek、Wilf、Zeilberger の著書A = Bは、異なる二項の和を計算するアルゴリズムについて説明しています。私の知る限り、これらのアルゴリズムはさまざまな著者によってまだ改善されています。

これらのアルゴリズムの最新の実装がどこにあるか知っていますか？また、Sageなどの一部のフリーソフトウェアに実装が存在するかどうかを知っていますか？

ds.algorithms co.combinatorics implementation

— ブルーノ
ソース

彼がコーディングしたDoron Zeilberger にメールしてみてください。こちら。

— プラティックドーハー

@PratikDeoghare、彼はMapleに書いていますが、これは無料ではありません。MapleコードをSageなどに自動的に移植するツールを知っているなら、それが答えとなります。

— ピーターテイラー

@PeterTaylor：もちろん、無料の代替を好むので、Mapleの実装に完全に満足していません。Sageについては、このページを見つけました。まだ実装されていないようです。

— ブルーノ

セージに関するいくつかの詳細情報はこちらにあります

— ティモシーチョウ

誰かが興味があるなら、SageでWZ（または最近の研究-これは私の領域ではありません）を実装するためにtrac.sagemath.org/ticket/16619を開きました。

— kcrisman 14

Sageがインターフェースを持つMaxima（http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400）に実装されています。今日テストした数十の例（非常に簡単なものから非常に難しいものまで）は、Mapleとまったく同じ方法で動作します。

— ウラジミール・ドッセンコ
ソース

PS私は気づいたが、テストしていませんが、最近のセージの実装でもあります：Webページを参照arminstraub.com/teaching/specialfunctions-summer16

— ウラジミールDotsenko

Vladimirに感謝します。あなたがコメントで言及した実装には問題があります。それは現在壊れているKauersのパッケージOre代数に依存しているということです。

— ブルーノ

@ブルーノ：私に知らせてくれてありがとう！気付いていませんでした。ありがたいことに、Maximaの実装は私のニーズを満たすようです。（私はあなた自身の質問をフリーソフトウェアの実装を探している過程で偶然見つけました...）

— ウラジミールドッチェンコ

@Bruno：Maximaの実装で奇妙なバグを見つけたと言わざるを得ないので、この答えを受け入れない方がいいかもしれません。週末に開発者にバグレポートを提出します。

— ウラジミールDotsenko

@ブルーノ：sourceforge.net/p/maxima/mailman/message/35755540を

— ウラジミールドッチェンコ