MultiSum

MaRDI QIDQ26178swMATHFDO

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

(22)

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

This page was built for software: MultiSum