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

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 ?

ds.algorithms co.combinatorics implementation

— Bruno
source

Essayez d'envoyer des codes à Doron Zeilberger . ici .

— Pratik Deoghare du

@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

@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

Pour plus d'informations sur Sage, cliquez ici

— Timothy Chow

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

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
source

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

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