Wilf-Zeilberger 및 관련 방법의 구현

Petkovsek, Wilf 및 Zeilberger의 A = B 책 은 서로 다른 이항 합을 계산하는 알고리즘을 설명합니다. AFAIK, 이러한 알고리즘은 여전히 다른 저자들에 의해 개선되고 있습니다.

이 알고리즘의 최신 구현을 어디에서 찾을 수 있는지 알고 있습니까? 그리고 Sage 와 같은 일부 무료 소프트웨어에 구현이 있는지 알고 있습니까?

ds.algorithms co.combinatorics implementation

— 브루노
소스

코딩하는 Doron Zeilberger 에게 메일을 보내십시오 . 여기 .

— Pratik Deoghare

@PratikDeoghare, 그는 자유롭지 않은 단풍 나무로 씁니다. 자동으로 메이플 코드를 Sage로 이식하는 도구를 알고 있다면 그 답이 될 것입니다.

— 피터 테일러

@ PetetTaylor : 물론 무료 대안을 선호하기 때문에 메이플 구현에 완전히 만족하지 않습니다. Sage의 경우이 페이지를 찾았습니다 . 아직 구현되지 않은 것 같습니다.

— Bruno

세이지에 대한 추가 정보는 여기

— Timothy Chow

관심있는 사람이 있다면 Sage에서 WZ (또는 최근 연구-이 부분은 아닙니다)를 구현하기 위해 trac.sagemath.org/ticket/16619 를 개설 했습니다 .

— kcrisman

Sage가 인터페이스하는 Maxima ( http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400 ) 에서 구현됩니다 . 오늘 테스트 한 수십 가지 예제 (매우 쉬운 것부터 매우 어려운 것까지)는 오늘 메이플에서와 동일한 방식으로 작동합니다.

— 블라디미르도 첸코
소스

웹 페이지 참조 : PS는 그냥 눈치 만 테스트하지 않았습니다 최근 세이지 구현이 arminstraub.com/teaching/specialfunctions-summer16

— 블라디미르 Dotsenko

블라디미르 감사합니다. 주석에서 언급 한 구현에 문제가 있습니다 . 현재 Kauers의 패키지 Ore algebra에 의존하고 있다는 것 입니다.

— Bruno

@Bruno : 알려 주셔서 감사합니다! 나는 그것을 몰랐다. 고맙게도 Maxima 구현은 내 요구를 충족시키는 것 같습니다. (나는 자유 소프트웨어 구현을 직접 찾는 과정에서 우연히 귀하의 질문을 발견했습니다 ...)

— Vladimir Dotsenko

@Bruno : Maxima 구현에서 이상한 버그를 발견했다고 말해야 하므로이 답변을 수락하지 않아야합니다. 주말에 개발자들에게 버그 보고서를 제출할 것입니다.

— Vladimir Dotsenko

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

— Vladimir Dotsenko