如题。最近几天读了混凝土数学组合数那一章，对gosper-zeilberger算法在复杂恒等式上怎么运作有点好奇，试图手算$l=2$然而算了一个小时还算错了。网上并未搜到有此算法实现。

所以有无神写过这玩意，或者有我没搜到的资源。