Implementierung von Wilf-Zeilberger und verwandten Methoden

12

Das Buch A = B von Petkovsek, Wilf und Zeilberger beschreibt Algorithmen zur Berechnung verschiedener Summen von Binomen. AFAIK, diese Algorithmen werden noch von verschiedenen Autoren verbessert.

Wissen Sie, wo wir die aktuellsten Implementierungen dieser Algorithmen finden können? Und wissen Sie, ob es Implementierungen in einigen kostenlosen Softwareprogrammen wie Sage gibt ?

Bruno
quelle
Versuchen Sie, Doron Zeilberger die Codes zu mailen . hier .
Pratik Deoghare
1
@PratikDeoghare, schreibt er in Maple, was nicht kostenlos ist. Wenn Sie ein Tool kennen, mit dem Maple-Code automatisch auf zB Sage portiert werden kann, ist dies eine Antwort.
Peter Taylor
2
@PeterTaylor: Natürlich bin ich mit Maple-Implementierungen nicht ganz zufrieden, da ich kostenlose Alternativen vorziehen würde. Für Sage habe ich diese Seite gefunden . Es scheint, dass es noch nicht implementiert ist.
Bruno
1
Einige weitere Informationen zu Sage finden Sie hier
Timothy Chow
1
Ich habe trac.sagemath.org/ticket/16619 geöffnet, um WZ (oder neuere Forschungsergebnisse - das ist überhaupt nicht mein Bereich) in Sage zu implementieren, falls jemand daran interessiert ist.
Kcrisman

Antworten:

7

Es ist in Maxima ( http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400 ) implementiert , zu dem Sage eine Schnittstelle hat. Einige Dutzend Beispiele (von sehr einfach bis sehr schwierig), die ich heute getestet habe, funktionieren genauso wie in Maple.

Vladimir Dotsenko
quelle
1
PS Es gibt auch eine neue Implementierung von Sage, die ich gerade bemerkt, aber noch nicht getestet habe: siehe die Webseite arminstraub.com/teaching/specialfunctions-summer16
Vladimir Dotsenko
1
Danke Vladimir. Es gibt ein Problem mit der Implementierung, die Sie in dem Kommentar erwähnt haben: Sie basiert auf Kauers 'Paket, mit dem die Erzalgebra derzeit gebrochen ist .
Bruno
@Bruno: Danke, dass du mich informiert hast! Das habe ich nicht gemerkt. Zum Glück scheint die Maxima-Implementierung meine Bedürfnisse zu erfüllen. (Ich fand Ihre Frage völlig zufällig im Prozess der Jagd nach freien Software-Implementierungen selbst ...)
Vladimir Dotsenko
@Bruno: Ich muss sagen, dass ich einen bizarren Fehler in der Maxima-Implementierung gefunden habe. Vielleicht solltest du diese Antwort ablehnen. Ich werde über das Wochenende einen Fehlerbericht an die Entwickler senden.
Vladimir Dotsenko
@Bruno: Siehe sourceforge.net/p/maxima/mailman/message/35755540
Vladimir Dotsenko