WZ方法相关论文
1914年,印度数学家S.Ramanujan发现一批Ramanujan型1/π级数,例如:#122011年,孙智伟观察到一些Ramanujan型1/π级数相应的模素数四......
机器证明理论是数学中尤其是组合数学中一个重要的分支，它利用计算机来证明一些人工很难证明的恒等式，而证明恒等式的成立也是基于一......
本文基于WZ理论给出了Peter Paule与Carsten Schneider的一篇文章中的一个二项式级数的部分和公式的新证明,并且发现他们的文章中......
利用WZ方法对Gauss2Fl恒等式、Chu—Vandermonde2F1恒等式、Kummer2F1恒等式等7个著名的超几何恒等式进行了证明．由此得出结论：WZ方......
利用W Z方法给出了含参变量积分的极限■的一个＂形式的＂计算,针对计算过程中产生的一些问题,对相关定理的内容做了补充说明,提出了一......
讨论了如何使用连续的WZ方法的有关结果来计算一类由含参变量积分所定义的函数g（x）=∫^b（x）a（x）F（x，y）dy的定积分∫^bag（x）dx（a与b可为有限数，也......
结合WZ理论中的有关结果与留数定理,借助计算机代数系统给出了下列问题的一种解答：已知∫构造与f（t）本质上不同的函数g（t）、g（t,s）（s S R）,......
通过使用WZ理论中有关结果，给出了当n→＋∞时，∑n=0^rn（Pn k）～p-r/p-2r（pn rn）（其中p,r均为一般的正整数参数，且p〉2r）的一个相对初等的新证明......
反演关系是组合论中的一个重要内容，其证明十分繁杂，又要求很高的技巧，将近几年刚刚发展起来的证明组合恒等式的ＷＺ方法运用到反演关系的......
利用WZ方法证明Bailey4F3恒等式、Vandermonde恒等式和李善兰恒等式成立....
本篇论文的主要结果是利用几种新的计算机辅助方法来证明和推导组合恒等式。主要包括如下三部分：一是将Abel引理与Gosper算法及WZ方......
利用WZ方法对一类组合和的一些特殊情形给出了其渐近估计,然后猜测出一般结果,最后利用分析的方法给予了严格证明,并且通过引进参......
基于一个重要的观察，推广了Wilf的一个结果，由此获得Gosper公式3 ^∞∑j=1（1/（j^2（2j j）））=π^2/6的一个简洁有趣的推广．另一方面，利用WZ理论......
