Zeilberger算法相关论文
组合序列的相关恒等式一直是组合数学研究的重要内容.Rota最先提出了证明恒等式的系统化方法—哑演算理论.近几十年,在以Gosper、W......
关于组合数求和的同余式问题近年来被广泛关注.N.J.Calkin,L.Van Hamme,F.Rodriguez-Villegas,W.Zudilin,L.Long,孙智伟,孙智宏,曾......
该文引入了一种证明组合恒等式的新方法——CLM方法.该方法以著名的Zeilberger算法为基础,但是它巧妙地解决了Zeilberger算法所不......
本文研究了某些特殊组合恒等式的自动证明算法及某些特殊序列发生函数的自动求解算法.论文的主要内容如下:第一章简要地介绍了组合......
本文主要研究了证明超几何恒等式的有限验证法，并给出了所需验证项数较小的估计。 通过验证有限项来证明超几何恒等式这种思想最......
本篇论文主要研究了Zeilberger算法的一些最新进展，其中包括Zeilberger算法的q模拟形式(简称q-Zeilberger算法)的终止条件，运用q-Zei......
超几何函数是数学中的一个重要课题。Euler发现超几何函数是一个二阶线性微分方程的解，该方程也被称为Euler超几何微分方程。一般情......
组合邻差方法(The method of combinatorial telescoping)是一种证明和发现q-恒等式的有效方法。本文通过对组合邻差方法的深入研......
针对含有调和数的相关恒等式的证明问题,先利用形式留数得到调和数的一个超几何表示,将调和数的相关和式转化为超几何求和问题,再......
本篇论文的主要结果是利用几种新的计算机辅助方法来证明和推导组合恒等式。主要包括如下三部分：一是将Abel引理与Gosper算法及WZ方......
提出研究形如fp,r,s,x（n）=^rn∑k=0（pn k）^s x^k的组合和的闭形式问题的Z-P方法,并利用此方法得到了如下结果：1）当s=1,p=2r时证明了对未......
通过验证有限项（n0≤n≤n1）特殊值来证明超几何恒等式这一想法最早由Doron Zeilberger于1981年提出,并由Lily Yen于1993年实现。自此......
