A refined difference field theory for symbolic summation
From MaRDI portal
Publication:931139
DOI10.1016/j.jsc.2008.01.001zbMath1147.33006arXiv0808.2543OpenAlexW2087893470MaRDI QIDQ931139
Publication date: 25 June 2008
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0808.2543
Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items (29)
Algebraic independence of sequences generated by (cyclotomic) harmonic sums ⋮ Analytic computing methods for precision calculations in quantum field theory ⋮ Some open problems related to creative telescoping ⋮ Iterated binomial sums and their associated iterated integrals ⋮ The heavy fermion contributions to the massive three loop form factors ⋮ Hypergeometric structures in Feynman integrals ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ The 3-loop non-singlet heavy flavor contributions and anomalous dimensions for the structure function \(\mathrm{F}_2(\mathrm{x, Q}^{\mathrm{2}})\) and transversity ⋮ Representation of hypergeometric products of higher nesting depths in difference rings ⋮ A symbolic summation approach to Feynman integral calculus ⋮ Automated simplification of large symbolic expressions ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ Minimal representations and algebraic relations for single nested products ⋮ The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\) ⋮ Parameterized telescoping proves algebraic independence of sums ⋮ Automated solution of first order factorizable systems of differential equations in one variable ⋮ The polarized transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O(\alpha_s^3)\) ⋮ A difference ring theory for symbolic summation ⋮ Algorithms to evaluate multiple sums for loop computations ⋮ Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms ⋮ Structural theorems for symbolic summation ⋮ Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ THE QCD COUPLING AND PARTON DISTRIBUTIONS AT HIGH PRECISION ⋮ Large Scale Analytic Calculations in Quantum Field Theories ⋮ Simplifying Multiple Sums in Difference Fields ⋮ A case study for \(\zeta (4)\) ⋮ 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parameterized telescoping proves algebraic independence of sums
- Algebraic relations between harmonic sums and associated quantities.
- Padé approximations to the logarithm. III: Alternative methods and additional results
- The third-order QCD corrections to deep-inelastic scattering by photon exchange
- Theory of summation in finite terms
- The method of creative telescoping
- Solving difference equations in finite terms
- 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
- Greatest factorial factorization and symbolic summation
- Multibasic and mixed hypergeometric Gosper-type algorithms
- An extension of Zeilberger's fast algorithm to general holonomic functions
- A new Sigma approach to multi-summation
- Indefinite summation with unspecified summands
- Symbolic summation assists combinatorics
- Application of unspecified sequences in symbolic summation
- Gaussian Hypergeometric series and supercongruences
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- When Is 0.999 … Equal to 1?
- An Extension of Liouville’s Theorem on Integration in Finite Terms
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
- Symbolic summation with single-nested sum extensions
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- The Problem of Integration in Finite Terms
- The solution of the problem of integration in finite terms
This page was built for publication: A refined difference field theory for symbolic summation
