A computer proof of a series evaluation in terms of harmonic numbers
From MaRDI portal
Publication:1861174
DOI10.1007/s00200-002-0107-ZzbMath1011.33003OpenAlexW1977176408MaRDI QIDQ1861174
Russell Lyons, Axel Riese, Paule, Peter
Publication date: 13 March 2003
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00200-002-0107-z
Related Items
Harmonic number identities via hypergeometric series and Bell polynomials, Constructing minimal telescopers for rational functions in three discrete variables, Riordan arrays and harmonic number identities, Telescoping method and congruences for double sums, Some summation formulas involving harmonic numbers and generalized harmonic numbers, Certain summation formulas involving harmonic numbers and generalized harmonic numbers, Stationary determinantal processes: phase multiplicity, Bernoullicity, entropy, and domination, A new Sigma approach to multi-summation, Transformation on infinite double series and applications to harmonic number identities, On recurrences for Ising integrals, Creative telescoping on multiple sums, MultiSum, Computer-assisted proofs of special function identities related to Poisson integrals, Creative Telescoping for Holonomic Functions, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
