论文部分内容阅读
针对含有调和数的相关恒等式的证明问题,先利用形式留数得到调和数的一个超几何表示,将调和数的相关和式转化为超几何求和问题,再结合经典的Gosper算法或Zeilberger算法,得到其不定和或斜递推关系,最后通过取形式留数得到原始和式的相应不定和或递推关系,并给出了几个经典调和数恒等式的新证明。
调和数相关恒等式的计算机辅助证明
【摘 要】
：
针对含有调和数的相关恒等式的证明问题,先利用形式留数得到调和数的一个超几何表示,将调和数的相关和式转化为超几何求和问题,再结合经典的Gosper算法或Zeilberger算法,得到
【机 构】
：
天津职业技术师范大学理学院
【出 处】
：
天津职业技术师范大学学报
【发表日期】
：
2019年2期
【基金项目】
：
国家自然科学基金资助项目(11501416).
其他文献
针对汽包水位常规的PID控制方式,采用了一种模糊神经网络智能控制器,该控制器结合了模糊控制与神经网络学习能力强的特点,将2种智能控制相结合,在线调整控制器参数,整定出一
为改善国内常用秸秆还田机具功能单一的情况，研制出1ZF-180型秸秆培肥整地机具。该机具能够实现秸秆掩埋以及原有垄台和垄沟的交替更换，一次进地完成垄台深松、灭茬、旋耕、起
气吸式精量播种机由于作业速度快、效率高、质量好，是现代化农业进行播种作业的首选机具。精密式播种机必须经过精密、准确的调整才能使用。详细介绍2BJQ系列气吸式精量播种机
为挖掘玉米的增产潜力,以常规种植为对照,进行玉米株间疏密种植试验。试验结果表明,株间疏密种植模式能明显提高玉米植株的光合速度和气孔导度,同时玉米的单穗粒质量、百粒质