Implementação de Wilf-Zeilberger e métodos relacionados

12

O livro A = B de Petkovsek, Wilf e Zeilberger descreve algoritmos para calcular diferentes somas de binômios. AFAIK, esses algoritmos ainda estão sendo aprimorados por diferentes autores.

Você sabe onde podemos encontrar as implementações mais atualizadas desses algoritmos? E você sabe se existem implementações em alguns softwares gratuitos, como o Sage ?

Bruno
fonte
Tente enviar um email para Doron Zeilberger que ele codifica . aqui .
Pratik Deoghare 18/04/12
1
@PratikDeoghare, ele escreve no Maple, que não é gratuito. Se você conhece uma ferramenta para portar automaticamente o código Maple para, por exemplo, o Sage, isso constituiria uma resposta.
Peter Taylor
2
@ PeterTaylor: Claro, não estou totalmente satisfeito com as implementações do Maple, já que prefiro alternativas gratuitas. Para Sage, encontrei esta página . Parece que ainda não foi implementado.
19412 Bruno
1
Alguns mais informações sobre Sábio pode ser encontrada aqui
Timothy Chow
1
Abri trac.sagemath.org/ticket/16619 para implementar o WZ (ou qualquer pesquisa mais recente - essa não é minha área) no Sage, se alguém estiver interessado.
kcrisman

Respostas:

7

É implementado no Maxima ( http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400 ), para o qual o Sage possui interface. Algumas dezenas de exemplos (variando de muito fácil a muito difícil) que testei hoje funcionam exatamente da mesma maneira que no Maple.

Vladimir Dotsenko
fonte
1
PS Há também uma implementação sábio recente, que eu só notei, mas não testei: veja a página arminstraub.com/teaching/specialfunctions-summer16
Vladimir Dotsenko
1
Obrigado Vladimir. Há um problema com a implementação que você mencionou no comentário é que ela depende da álgebra de Ore do pacote de Kauers atualmente está quebrada .
Bruno
@Bruno: obrigado por me avisar! Eu não percebi isso, notei. Felizmente, a implementação do Maxima parece atender às minhas necessidades. (Eu achei a sua pergunta completamente por acidente no processo de caça para implementações de software livre me ...)
Vladimir Dotsenko
@Bruno: Devo dizer que encontrei um bug bizarro na implementação do Maxima, então talvez você deva não aceitar esta resposta. Vou registrar um relatório de bug para os desenvolvedores no fim de semana.
Vladimir Dotsenko 03/03
@Bruno: consulte sourceforge.net/p/maxima/mailman/message/35755540
Vladimir Dotsenko