组合序列的相关恒等式一直是组合数学研究的重要内容.Rota最先提出了证明恒等式的系统化方法—哑演算理论.近几十年,在以Gosper、W......

机器证明在科学及工程技术领域有着重要的意义和应用.该论文将着重讨论恒等式及几何定理的机器证明.文中首先探讨了发现恒等式和证......

This thesis is mainly concerned with Gospers algorithm, its generalization, and rational solutions. Also it is concerned......

Gosper算法在计算闭形式和问题中具有里程碑式的作用。在这个算法中有-个很重要的想法,就是将一个有理函数写成它的Gosper表示形式......

本文围绕H.Wilf和D.Zeilberger提出的的超几何级数恒等式机械化方法一Gosper算法所依赖的Gosper方程一般解展开讨论.同时将具体解......

针对含有调和数的相关恒等式的证明问题,先利用形式留数得到调和数的一个超几何表示,将调和数的相关和式转化为超几何求和问题,再......

本篇论文的主要结果是利用几种新的计算机辅助方法来证明和推导组合恒等式。主要包括如下三部分：一是将Abel引理与Gosper算法及WZ方......