메뉴 건너뛰기
Applicable Algebra in Engineering, Communications and Computing
Volumn 13, Issue 4, 2002, Pages 327-333
A computer proof of a series evaluation in terms of harmonic numbers
Author keywords

Computer algebra; Definite integration; Hypergeometric summation; WZ method
Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; FUNCTIONS; INTEGRAL EQUATIONS; INTEGRATION; POLYNOMIALS; RANDOM PROCESSES;
EID: 0036955312     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00200-002-0107-z     Document Type: Article
Times cited : (21)
References (9)
  • 1
    • 0012537346 scopus 로고    scopus 로고
    • Stationary determinantal processes: Phase transitions, bernoullicity, entropy, and domination
    • Preprint
    • Lyons, R., Steif, J.: Stationary determinantal processes: Phase transitions, Bernoullicity, entropy, and domination. Preprint (2002)
    • (2002)
    • Lyons, R.1    Steif, J.2
  • 2
    • 0002813555 scopus 로고
    • Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
    • Paule, P.: Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type. Electr. J. Combin. 1 (#R10) 1-9 (1994)
    • (1994) Electr. J. Combin. , vol.1 , Issue.R10 , pp. 1-9
    • Paule, P.1
  • 3
    • 0000210471 scopus 로고
    • A mathematica version of Zeilberger's algorithm for proving binomial coefficient identities
    • Paule, P., Schorn, M. A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities. J. Symbolic Comput. 20, 673-698 (1995)
    • (1995) J. Symbolic Comput. , vol.20 , pp. 673-698
    • Paule, P.1    Schorn, M.2
  • 5
    • 4243441407 scopus 로고    scopus 로고
    • Randomization speeds up hypergeometric summation
    • In preparation
    • Riese, A., Zimmermann, B.: Randomization speeds up hypergeometric summation. In preparation (2002)
    • (2002)
    • Riese, A.1    Zimmermann, B.2
  • 6
    • 0003642821 scopus 로고
    • Rekursiebetrekkingen voor lineaire hypergeometrische funkties
    • Ph.D. thesis, Katholieke Universteit te Leuven, Heverlee, Belgium
    • Verbaeten, P.: Rekursiebetrekkingen voor lineaire hypergeometrische funkties. Ph.D. thesis, Katholieke Universteit te Leuven, Heverlee, Belgium (1976)
    • (1976)
    • Verbaeten, P.1
  • 7
    • 0003592582 scopus 로고    scopus 로고
    • Computer generated proofs of bonomial multi-sum identities
    • Diploma thesis, RISC, J. Kepler University, Linz, Austria
    • Wegschaider, K.: Computer generated proofs of bonomial multi-sum identities. Diploma thesis, RISC, J. Kepler University, Linz, Austria (1997)
    • (1997)
    • Wegschaider, K.1
  • 8
    • 0001169022 scopus 로고
    • An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities
    • Wilf, H.S., Zeilberger, D.: An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities. Invent. Math. 108, 575-633 (1992)
    • (1992) Invent. Math. , vol.108 , pp. 575-633
    • Wilf, H.S.1    Zeilberger, D.2
  • 9
    • 0001601404 scopus 로고
    • A holonomic systems approach to special functions identities
    • Zeilberger, D.: A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32, 321-368 (1990)
    • (1990) J. Comput. Appl. Math. , vol.32 , pp. 321-368
    • Zeilberger, D.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.