Computer proofs of a new family of harmonic number identities.

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

Carsten Schneider, Paule, Peter

Publication date: 3 December 2003

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0196-8858(03)00016-2

zbMATH Keywords

algorithmsharmonic numberidentities for binomial coefficients

Mathematics Subject Classification ID

Binomial coefficients; factorials; (q)-identities (11B65) Number-theoretic algorithms; complexity (11Y16) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Harmonic number identities via hypergeometric series and Bell polynomials, Sums of derivatives of binomial coefficients, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Algebraic independence of sequences generated by (cyclotomic) harmonic sums, Solving parameterized linear difference equations in terms of indefinite nested sums and products, A generalized inverse binomial summation theorem and some hypergeometric transformation formulas, Padé approximations to the logarithm. III: Alternative methods and additional results, Riordan arrays and harmonic number identities, Unnamed Item, Finite summation formulas involving binomial coefficients, harmonic numbers and generalized harmonic numbers, Derivative operator and summation formulae involving generalized harmonic numbers, Some summation formulas involving harmonic numbers and generalized harmonic numbers, Four families of summation formulas involving generalized harmonic numbers, Extensions of some known algebraic and combinatorial identities, On Mneimneh's binomial sum involving harmonic numbers, Summation formulas involving generalized harmonic numbers, Identities on harmonic and \(q\)-harmonic number sums, A generalization of Mneimneh's binomial sum of harmonic numbers, A modular supercongruence for _6F_5: An Apéry-like story, Harmonic number identities via polynomials with \(r\)-Lah coefficients, Certain summation formulas involving harmonic numbers and generalized harmonic numbers, Unnamed Item, On Spieß's conjecture on harmonic numbers, The derivative operator and harmonic number identities, Summation formulas involving binomial coefficients, harmonic numbers, and generalized harmonic numbers, A refined difference field theory for symbolic summation, Parameterized telescoping proves algebraic independence of sums, Gauss's theorem and harmonic number summation formulae with certain mathematical constants, Supercongruences related to 3F2(1) involving harmonic numbers, A Saalschütz-type identity and summation formulae involving generalized harmonic numbers, Two triple binomial sum supercongruences, Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms, Harmonic number identities via the Newton-Andrews method, Plane partitions. VI: Stembridge's TSPP theorem, A new Sigma approach to multi-summation, Formal residue and computer-assisted proofs of combinatorial identities, \(q\)-generalizations of a family of harmonic number identities, On hypergeometric identities related to zeta values, Sums of powers of Catalan triangle numbers, Combinatorial identities involving harmonic numbers, Hypergeometric series and harmonic number identities, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, Gaussian Hypergeometric series and supercongruences, Whipple-type 3F2-series and summation formulae involving generalized harmonic numbers, Watson-type₃F₂-series and summation formulae involving generalized harmonic numbers, Another proof of a supercongruence conjecture of Z.-W. Sun, Unnamed Item, Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials, The Gauss₂F₁(1)-summation theorem and harmonic number identities, Dougall-Dixon formula and harmonic number identities, Chu–Vandermonde convolution and harmonic number identities, Simplifying Multiple Sums in Difference Fields, Dixon's \(_3F_2(1)\)-series and identities involving harmonic numbers and the Riemann zeta function, A binomial sum of harmonic numbers, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields, Applications of derivative and difference operators on some sequences

Uses Software

• gfun
• qZeil
• GeneratingFunctions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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