MultiSum

swMATH14274MaRDI QIDQ26178FDOQ26178

Author name not available (Why is that?)

Described by source

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

Cited In (15)

• A new Sigma approach to multi-summation
• On recurrences for Ising integrals
• Certain summation formulas involving harmonic numbers and generalized harmonic numbers
• A Computer Proof of Moll’s Log-Concavity Conjecture
• Analysis of the quantum Zeno effect for quantum control and computation
• Some summation formulas involving harmonic numbers and generalized harmonic numbers
• Transformation on infinite double series and applications to harmonic number identities
• Computer-assisted proofs of special function identities related to Poisson integrals
• Constructing minimal telescopers for rational functions in three discrete variables
• Title not available (Why is that?)
• Riordan arrays and harmonic number identities
• Stationary determinantal processes: phase multiplicity, Bernoullicity, entropy, and domination
• Harmonic number identities via hypergeometric series and Bell polynomials
• Creative telescoping on multiple sums
• Telescoping method and congruences for double sums

This page was built for software: MultiSum