Title
A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers.
Abstract
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 denite integration problem.
Year
DOI
Venue
2002
10.1007/s00200-002-0107-z
Appl. Algebra Eng. Commun. Comput.
Keywords
Field
DocType
harmonic number,computer algebra
Discrete mathematics,Algebra,Harmonic number,Symbolic computation,Mathematics
Journal
Volume
Issue
ISSN
13
4
1432-0622
Citations 
PageRank 
References 
8
1.34
2
Authors
3
Name
Order
Citations
PageRank
Russell Lyons191.97
Peter Paule2548.55
Axel Riese3326.69