A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers
A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers
复制标题
DOI：
10.1007/s00200-002-0107-z
复制
发表时间：
2002-12
期刊：
影响因子：
--
通讯作者：
R. Lyons;P. Paule;Axel Riese
中科院分区：
文献类型：
--
作者：
R. Lyons;P. Paule;Axel Riese
通过对一个定积分问题的级数求值的计算机证明，说明了一种新的随机化WZ过程与其它计算机代数程序之间富有成效的相互作用。
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a definite integration problem.