A difference ring theory for symbolic summation
From MaRDI portal
Publication:492025
DOI10.1016/j.jsc.2015.02.002zbMath1328.12015arXiv1408.2776OpenAlexW2139308731WikidataQ42134645 ScholiaQ42134645MaRDI QIDQ492025
Publication date: 19 August 2015
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1408.2776
roots of unitysemi-invariantsdifference ring extensionsindefinite nested sums and productsparameterized telescoping (telescoping creative telescoping)semi-constants
Symbolic computation and algebraic computation (68W30) Additive difference equations (39A10) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Difference algebra (12H10)
Related Items
Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm ⋮ Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Algebraic independence of sequences generated by (cyclotomic) harmonic sums ⋮ Analytic computing methods for precision calculations in quantum field theory ⋮ 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✱ ⋮ Interview with Peter Paule ⋮ Representation of hypergeometric products of higher nesting depths in difference rings ⋮ The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\) ⋮ The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\) ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ Minimal representations and algebraic relations for single nested products ⋮ Automated solution of first order factorizable systems of differential equations in one variable ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ Large Scale Analytic Calculations in Quantum Field Theories ⋮ Evaluation of Binomial Double Sums Involving Absolute Values ⋮ The absent-minded passengers problem: a motivating challenge solved by computer algebra ⋮ The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements ⋮ A case study for \(\zeta (4)\) ⋮ Hypergeometric Functions and Feynman Diagrams ⋮ Contiguous Relations and Creative Telescoping ⋮ Nested Integrals and Rationalizing Transformations ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation ⋮ Representation of hypergeometric products in difference rings ⋮ 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A symbolic summation approach to Feynman integral calculus
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Unfair permutations
- Parameterized telescoping proves algebraic independence of sums
- Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
- Apéry's double sum is plain sailing indeed
- 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
- A refined difference field theory for symbolic summation
- Differential Galois theory of linear difference equations
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- Invertible and nilpotent elements in the group algebra of a unique product group.
- Theory of summation in finite terms
- On finite generation of unit groups of commutative group rings
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Solving difference equations in finite terms
- Finite singularities and hypergeometric solutions of linear recurrence equations
- Symbolic integration. I: Transcendental functions
- Galois theory of difference equations
- On solutions of linear ordinary difference equations in their coefficient field
- Product representations in \(\Pi\Sigma\)-fields
- Greatest factorial factorization and symbolic summation
- \( m\)-fold hypergeometric solutions of linear recurrence equations revisited
- The \(O(\alpha_s^3n_fT_F^2C_{A, F})\) contributions to the gluonic massive operator matrix elements
- An implementation of Karr's summation algorithm in Mathematica
- Multibasic and mixed hypergeometric Gosper-type algorithms
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Structural theorems for symbolic summation
- The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\)
- Difference algebra
- A new Sigma approach to multi-summation
- Indefinite summation with unspecified summands
- Symbolic summation assists combinatorics
- Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
- Harmonic sums and polylogarithms generated by cyclotomic polynomials
- Application of unspecified sequences in symbolic summation
- A Symbolic Summation Approach to Find Optimal Nested Sum Representations
- Gaussian Hypergeometric series and supercongruences
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- Symbolic summation with single-nested sum extensions
- Creative Telescoping for Holonomic Functions
- Solving Linear Recurrence Equations with Polynomial Coefficients
- 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
- The Problem of Integration in Finite Terms
This page was built for publication: A difference ring theory for symbolic summation
