Computer proofs of a new family of harmonic number identities.

From MaRDI portal
Revision as of 17:58, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1415382


DOI10.1016/S0196-8858(03)00016-2zbMath1039.11007WikidataQ56169399 ScholiaQ56169399MaRDI QIDQ1415382

Carsten Schneider, Paule, Peter

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

A modular supercongruence for _6F_5: An Apéry-like story, Gauss's theorem and harmonic number summation formulae with certain mathematical constants, Supercongruences related to 3F2(1) involving harmonic numbers, Whipple-type 3F2-series and summation formulae involving generalized harmonic numbers, Watson-type3F2-series and summation formulae involving generalized harmonic numbers, Combinatorial identities involving harmonic numbers, Unnamed Item, Simplifying Multiple Sums in Difference Fields, Solving parameterized linear difference equations in terms of indefinite nested sums and products, Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms, Formal residue and computer-assisted proofs of combinatorial identities, 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, A Saalschütz-type identity and summation formulae involving generalized harmonic numbers, Two triple binomial sum supercongruences, 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, Derivative operator and summation formulae involving generalized harmonic numbers, 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, Algebraic independence of sequences generated by (cyclotomic) harmonic sums, Four families of summation formulas involving generalized harmonic numbers, Summation formulas involving binomial coefficients, harmonic numbers, and generalized harmonic numbers, Hypergeometric series and harmonic number identities, Identities on harmonic and \(q\)-harmonic number sums, On hypergeometric identities related to zeta values, Sums of powers of Catalan triangle numbers, Harmonic number identities via the Newton-Andrews method, Sums of derivatives of binomial coefficients, A generalized inverse binomial summation theorem and some hypergeometric transformation formulas, 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, Summation formulas involving generalized harmonic numbers, Gaussian Hypergeometric series and supercongruences, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, The Gauss2F1(1)-summation theorem and harmonic number identities


Uses Software


Cites Work