Implementazione di Wilf-Zeilberger e metodi correlati

Il libro A = B di Petkovsek, Wilf e Zeilberger descrive algoritmi per calcolare diverse somme di binomi. AFAIK, questi algoritmi vengono ancora migliorati da autori diversi.

Sai dove possiamo trovare le implementazioni più aggiornate di questi algoritmi? E sai se esistono implementazioni in alcuni software gratuiti come Sage ?

ds.algorithms co.combinatorics implementation

— Bruno
fonte

Prova a spedire i codici a Doron Zeilberger . QUI .

— Pratik Deoghare,

@PratikDeoghare, scrive in Maple, che non è gratuito. Se conosci uno strumento per trasferire automaticamente il codice Maple ad es. Sage, ciò costituirebbe una risposta.

— Peter Taylor,

@PeterTaylor: Certo, non sono pienamente soddisfatto delle implementazioni di Maple poiché preferirei alternative gratuite. Per Sage, ho trovato questa pagina . Sembra che non sia ancora implementato.

— Bruno,

Alcune ulteriori informazioni su Sage possono essere trovate qui

— Timothy Chow,

Ho aperto trac.sagemath.org/ticket/16619 per l'implementazione di WZ (o qualsiasi ricerca più recente - questa non è affatto la mia area) in Sage, se qualcuno è interessato.

— kcrisman,

È implementato in Maxima ( http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400 ), a cui Sage ha un'interfaccia. Alcune dozzine di esempi (che vanno da molto facili a molto difficili) che ho testato oggi funzionano esattamente come in Maple.

— Vladimir Dotsenko
fonte

PS C'è anche una recente implementazione di saggi che ho appena notato ma non ho testato: vedi la pagina web arminstraub.com/teaching/specialfunctions-summer16

— Vladimir Dotsenko

Grazie Vladimir. C'è un problema con l'implementazione che menzioni nel commento è che si basa sul pacchetto di Kauers L'algebra di Ore con è attualmente rotta .

— Bruno,

@Bruno: grazie per avermelo fatto notare! Non me ne ero accorto, ho notato. Per fortuna, l'implementazione di Maxima sembra soddisfare le mie esigenze. (Ho trovato la tua domanda completamente per caso nel processo di ricerca di implementazioni di software libero da solo ...)

— Vladimir Dotsenko,

@Bruno: devo dire che ho trovato un bizzarro bug nell'implementazione di Maxima, quindi forse dovresti non accettare questa risposta. Presenterò una segnalazione di bug agli sviluppatori durante il fine settimana.

— Vladimir Dotsenko,

@Bruno: vedi sourceforge.net/p/maxima/mailman/message/35755540

— Vladimir Dotsenko