MultiSum

swMATH14274MaRDI QIDQ26178FDOQ26178

Author name not available (Why is that?)

Official website: http://www.risc.jku.at/research/combinat/software/ergosum/RISC/MultiSum.html

Described by source

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

Cited In (21)

• 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
• HolonomicFunctions
• SIGMA
• fastZeil
• GeneratingFunctions
• Computer-assisted proofs of special function identities related to Poisson integrals
• Constructing minimal telescopers for rational functions in three discrete variables
• RatDiff
• RhoSum
• 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
• An algorithmic approach to the Mellin transform method

This page was built for software: MultiSum