Implémentation de Wilf-Zeilberger et méthodes associées

12

Le livre A = B de Petkovsek, Wilf et Zeilberger décrit des algorithmes pour calculer différentes sommes de binômes. AFAIK, ces algorithmes sont toujours en cours d'amélioration par différents auteurs.

Savez-vous où trouver les implémentations les plus récentes de ces algorithmes? Et savez-vous s'il existe des implémentations dans certains logiciels gratuits tels que Sage ?

Bruno
la source
Essayez d'envoyer des codes à Doron Zeilberger . ici .
Pratik Deoghare du
1
@PratikDeoghare, écrit-il dans Maple, qui n'est pas gratuit. Si vous connaissez un outil pour porter automatiquement le code Maple vers Sage, par exemple, cela constituerait une réponse.
Peter Taylor
2
@PeterTaylor: Bien sûr, je ne suis pas entièrement satisfait des implémentations de Maple car je préférerais des alternatives gratuites. Pour Sage, j'ai trouvé cette page . Il semble qu'il ne soit pas encore implémenté.
Bruno
1
Pour plus d'informations sur Sage, cliquez ici
Timothy Chow
1
J'ai ouvert trac.sagemath.org/ticket/16619 pour implémenter WZ (ou toute recherche plus récente - ce n'est pas du tout mon domaine) à Sage, si quelqu'un est intéressé.
kcrisman

Réponses:

7

Il est implémenté dans Maxima ( http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400 ), avec lequel Sage a une interface. Quelques dizaines d'exemples (allant de très facile à très difficile) que j'ai testé aujourd'hui fonctionnent exactement de la même manière que dans Maple.

Vladimir Dotsenko
la source
1
PS Il y a aussi une implémentation récente de sage que je viens de remarquer mais que je n'ai pas testée: voir la page Web arminstraub.com/teaching/specialfunctions-summer16
Vladimir Dotsenko
1
Merci Vladimir. Il y a un problème avec l'implémentation que vous mentionnez dans le commentaire, car elle repose sur le paquetage Kauers dont l'algèbre Ore est actuellement cassée .
Bruno
@Bruno: merci de me le faire savoir! Je ne m'en rendais pas compte, a noté. Heureusement, l'implémentation de Maxima semble répondre à mes besoins. (J'ai trouvé votre question complètement par accident dans le processus de recherche d'implémentations de logiciels libres moi-même ...)
Vladimir Dotsenko
@Bruno: Je dois dire que j'ai trouvé un bug bizarre dans l'implémentation de Maxima, alors vous devriez peut-être refuser cette réponse. Je déposerai un rapport de bogue aux développeurs au cours du week-end.
Vladimir Dotsenko
@Bruno: voir sourceforge.net/p/maxima/mailman/message/35755540
Vladimir Dotsenko