1914年,印度数学家S.Ramanujan发现一批Ramanujan型1/π级数,例如:#122011年,孙智伟观察到一些Ramanujan型1/π级数相应的模素数四......

机器证明理论是数学中尤其是组合数学中一个重要的分支，它利用计算机来证明一些人工很难证明的恒等式，而证明恒等式的成立也是基于一......

本文基于WZ理论给出了Peter Paule与Carsten Schneider的一篇文章中的一个二项式级数的部分和公式的新证明,并且发现他们的文章中......