本文主要研究了证明超几何恒等式的有限验证法，并给出了所需验证项数较小的估计。 通过验证有限项来证明超几何恒等式这种思想最......

本篇论文主要研究了Zeilberger算法的一些最新进展，其中包括Zeilberger算法的q模拟形式(简称q-Zeilberger算法)的终止条件，运用q-Zei......

通过验证有限项（n0≤n≤n1）特殊值来证明超几何恒等式这一想法最早由Doron Zeilberger于1981年提出,并由Lily Yen于1993年实现。自此......