A new Sigma approach to multi-summation

DOI10.1016/j.aam.2004.07.009zbMath1078.33021OpenAlexW1993441116MaRDI QIDQ2483910

Carsten Schneider

Publication date: 1 August 2005

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

Full work available at URL: https://doi.org/10.1016/j.aam.2004.07.009

Mathematics Subject Classification ID

Related Items (23)

AN EFFICIENT ALGORITHM FOR DERIVING SUMMATION IDENTITIES FROM MUTUAL RECURRENCES ⋮ Hypergeometric summation algorithms for high-order finite elements ⋮ Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra ⋮ An algorithmic approach to the \(q\)-summability problem of bivariate rational functions ⋮ A symbolic summation approach to Feynman integral calculus ⋮ A refined difference field theory for symbolic summation ⋮ A difference ring theory for symbolic summation ⋮ Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms ⋮ Accelerating indefinite summation: simple classes of summands ⋮ An algorithm for deciding the summability of bivariate rational functions ⋮ Plane partitions. VI: Stembridge's TSPP theorem ⋮ Structural theorems for symbolic summation ⋮ Indefinite summation with unspecified summands ⋮ A telescoping method for double summations ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ SIGMA ⋮ Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order ⋮ Simplifying Multiple Sums in Difference Fields ⋮ A case study for \(\zeta (4)\) ⋮ Extensions of the AZ-Algorithm and the Package MultiIntegrate ⋮ Hypergeometric Functions and Feynman Diagrams ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation ⋮ The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals

Uses Software

• Mathematica
• qZeil
• MultiSum
• OreSys

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
• A fast algorithm for proving terminating hypergeometric identities
• Theory of summation in finite terms
• A holonomic systems approach to special functions identities
• Non-commutative elimination in Ore algebras proves multivariate identities
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• Computer proofs of a new family of harmonic number identities.
• On solutions of linear ordinary difference equations in their coefficient field
• Product representations in \(\Pi\Sigma\)-fields
• A computer proof of a series evaluation in terms of harmonic numbers
• The enumeration of totally symmetric plane partitions
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• An implementation of Karr's summation algorithm in Mathematica
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Plane partitions. VI: Stembridge's TSPP theorem
• Summation in Finite Terms
• Decision procedure for indefinite hypergeometric summation
• Symbolic summation with single-nested sum extensions
• Integration of solutions of linear functional equations
• Rational solutions of linear differential and difference equations with polynomial coefficients

This page was built for publication: A new Sigma approach to multi-summation