Triển khai Wilf-Zeilberger và các phương pháp liên quan

Cuốn sách A = B của Petkovsek, Wilf và Zeilberger mô tả các thuật toán để tính các tổng nhị phân khác nhau. AFAIK, các thuật toán này vẫn đang được cải thiện bởi các tác giả khác nhau.

Bạn có biết nơi chúng ta có thể tìm thấy các triển khai cập nhật nhất của các thuật toán này không? Và bạn có biết có tồn tại các triển khai trong một số phần mềm miễn phí như Sage không?

Nó được triển khai trong Maxima ( http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400 ), mà Sage có giao diện. Một vài chục ví dụ (từ rất dễ đến rất khó) tôi đã thử nghiệm ngày hôm nay hoạt động theo cách chính xác như trong Maple.