Computer proofs of a new family of harmonic number identities.
From MaRDI portal
Publication:1415382
DOI10.1016/S0196-8858(03)00016-2zbMath1039.11007WikidataQ56169399 ScholiaQ56169399MaRDI QIDQ1415382
Paule, Peter, Carsten Schneider
Publication date: 3 December 2003
Published in: Advances in Applied Mathematics (Search for Journal in Brave)
11B65: Binomial coefficients; factorials; (q)-identities
11Y16: Number-theoretic algorithms; complexity
33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)
Related Items
Solving parameterized linear difference equations in terms of indefinite nested sums and products, Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms, Finite summation formulas involving binomial coefficients, harmonic numbers and generalized harmonic numbers, Some summation formulas involving harmonic numbers and generalized harmonic numbers, The derivative operator and harmonic number identities, Riordan arrays and harmonic number identities, Certain summation formulas involving harmonic numbers and generalized harmonic numbers, Parameterized telescoping proves algebraic independence of sums, Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Padé approximations to the logarithm. III: Alternative methods and additional results, A refined difference field theory for symbolic summation, \(q\)-generalizations of a family of harmonic number identities, Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials, Dougall-Dixon formula and harmonic number identities, Dixon's \(_3F_2(1)\)-series and identities involving harmonic numbers and the Riemann zeta function, Hypergeometric series and harmonic number identities, Identities on harmonic and \(q\)-harmonic number sums, Sums of derivatives of binomial coefficients, On Spieß's conjecture on harmonic numbers, Plane partitions. VI: Stembridge's TSPP theorem, A new Sigma approach to multi-summation, Chu–Vandermonde convolution and harmonic number identities, Harmonic number identities via hypergeometric series and Bell polynomials, Gaussian Hypergeometric series and supercongruences, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, The Gauss2F1(1)-summation theorem and harmonic number identities
Uses Software
Cites Work
- A fast algorithm for proving terminating hypergeometric identities
- Theory of summation in finite terms
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- Non-commutative elimination in Ore algebras proves multivariate identities
- Solving difference equations in finite terms
- Finite singularities and hypergeometric solutions of linear recurrence equations
- A generalization of Gosper's algorithm
- Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
- When does Zeilberger's algorithm succeed?
- On solutions of linear ordinary difference equations in their coefficient field
- A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function.
- Greatest factorial factorization and symbolic summation
- An implementation of Karr's summation algorithm in Mathematica
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- GFUN
- Supercongruences between truncated $_{2}F_{1}$ hypergeometric functions and their Gaussian analogs
- A Gaussian hypergeometric series evaluation and Apéry number congruences
- The solution of the problem of integration in finite terms
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
