MultiSum

swMATH14274MaRDI QIDQ26178

No author found.

Described by source

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

Related Items (15)

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 ⋮ Unnamed Item ⋮ Certain summation formulas involving harmonic numbers and generalized harmonic numbers ⋮ Stationary determinantal processes: phase multiplicity, Bernoullicity, entropy, and domination ⋮ Analysis of the quantum Zeno effect for quantum control and computation ⋮ A new Sigma approach to multi-summation ⋮ A Computer Proof of Moll’s Log-Concavity Conjecture ⋮ Transformation on infinite double series and applications to harmonic number identities ⋮ On recurrences for Ising integrals ⋮ Creative telescoping on multiple sums ⋮ Computer-assisted proofs of special function identities related to Poisson integrals

This page was built for software: MultiSum