Cited in
(22)- 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
- HYP
- HolonomicFunctions
- SIGMA
- fastZeil
- GeneratingFunctions
- RhoSum
- Computer-assisted proofs of special function identities related to Poisson integrals
- RatDiff
- Constructing minimal telescopers for rational functions in three discrete variables
- 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
