A computer proof of a series evaluation in terms of harmonic numbers

被引：16

作者：

Lyons, R ^{[1
]}

Raule, P

Riese, A

机构：

[1] Indiana Univ, Dept Math, Bloomington, IN 47405 USA

[2] Georgia Inst Technol, Sch Math, Atlanta, GA 30332 USA

[3] Johannes Kepler Univ, Symbol Computat Res Inst, A-4040 Linz, Austria

来源：

APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING | 2002年 / 13卷 / 04期

关键词：

computer algebra; hypergeometric summation; definite integration; WZ method;

D O I：

10.1007/s00200-002-0107-z

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页码：327 / 333

页数：7

共 9 条

[1] LYONS R, 2002, STATIONARY DETERMINA
[2] A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities
Paule, P
Schorn, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1995, 20 (5-6) : 673 - 698
[3] PAULE P, 1994, ELECTRON J COMB, V1, P1
[4] PETKOVSEK M, 1996, A EQUAL B
[5] RIESE A, 2002, UNPUB RANDOMIZATION
[6] VERBAETEN P, 1976, THESIS KATHOLIEKE U
[7] WEGSCHAIDER K, 1997, THESIS J KEPLER U LI
[8] AN ALGORITHMIC PROOF THEORY FOR HYPERGEOMETRIC (ORDINARY AND Q) MULTISUM INTEGRAL IDENTITIES
WILF, HS
ZEILBERGER, D
[J]. INVENTIONES MATHEMATICAE, 1992, 108 (03) : 575 - 633
[9] A HOLONOMIC SYSTEMS-APPROACH TO SPECIAL-FUNCTIONS IDENTITIES
ZEILBERGER, D
[J]. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 1990, 32 (03) : 321 - 368

← 1 →