Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
From MaRDI portal
Publication:1711991
DOI10.1016/j.jsc.2016.07.028zbMath1403.12002arXiv1603.04285OpenAlexW2502395597MaRDI QIDQ1711991
Publication date: 21 January 2019
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.04285
constantsGalois theoryroots of unitydifference ring extensionsindefinite nested sums and productsdifference idealsembedding into the difference ring of sequencesinterlacing of difference ringssimple difference rings
Related Items (23)
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 three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\) ⋮ 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\) ⋮ 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)\) ⋮ Contiguous Relations and Creative Telescoping ⋮ 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
- Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
- On a matrix representation for polynomially recursive sequences
- On the existence of telescopers for mixed hypergeometric terms
- A difference ring theory for symbolic summation
- Parameterized telescoping proves algebraic independence of sums
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Algebraic relations between harmonic sums and associated quantities.
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- 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
- Gröbner bases for ideals in Laurent polynomial rings and their application to systems of difference equations
- 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
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- 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
- Difference algebra
- Indefinite summation with unspecified summands
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Symbolic summation assists combinatorics
- Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
- Harmonic sums and polylogarithms generated by cyclotomic polynomials
- Iterated binomial sums and their associated iterated integrals
- A Symbolic Summation Approach to Find Optimal Nested Sum Representations
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Summation in Finite Terms
- HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
- Symbolic summation with single-nested sum extensions
- Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
- Order-degree curves for hypergeometric creative telescoping
- Creative Telescoping for Holonomic Functions
- Solving Linear Recurrence Equations with Polynomial Coefficients
- Simplifying Multiple Sums in Difference Fields
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
- Representation of hypergeometric products in difference rings
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
- Rational solutions of linear differential and difference equations with polynomial coefficients
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
