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