Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation
From MaRDI portal
Publication:5022185
DOI10.1007/978-3-030-80219-6_17zbMath1484.81078arXiv2102.01471OpenAlexW3126698746MaRDI QIDQ5022185
No author found.
Publication date: 18 January 2022
Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2102.01471
Symbolic computation and algebraic computation (68W30) Number-theoretic algorithms; complexity (11Y16) Strong interaction, including quantum chromodynamics (81V05) Feynman diagrams (81T18) Numerical summation of series (65B10)
Related Items
Hypergeometric structures in Feynman integrals, Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱, Analytic Integration Methods in Quantum Field Theory: An Introduction, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
Uses Software
Cites Work
- 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
- Rational solutions of linear differential and difference equations with polynomial coefficients
- MATAD: A program package for the computation of MAssive TADpoles
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
- A symbolic summation approach to Feynman integral calculus
- A difference ring theory for symbolic summation
- The Abel-Zeilberger algorithm
- Parameterized telescoping proves algebraic independence of sums
- Elliptic Feynman integrals and pure functions
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
- 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
- Algebraic relations between harmonic sums and associated quantities.
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Massive Feynman diagrams and inverse binomial sums
- 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
- The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension
- The 3-loop non-singlet heavy flavor contributions to the structure function \(g_1(x, Q^2)\) at large momentum transfer
- 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
- Automated proofs for some Stirling number identities
- Theory of summation in finite terms
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Liouvillian solutions of linear differential equations with Liouvillian coefficients
- 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
- \(q\)-hypergeometric solutions of \(q\)-difference equations
- Computer proofs of a new family of harmonic number identities.
- On solutions of linear ordinary difference equations in their coefficient field
- Algebraic independence of sequences generated by (cyclotomic) harmonic sums
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Refined holonomic summation algorithms in particle physics
- Denominator bounds for systems of recurrence equations using \(\Pi\Sigma\)-extensions
- Representing \((q-)\)hypergeometric products and mixed versions in difference rings
- 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
- On rational solutions of systems of linear differential equations
- An extension of Zeilberger's fast algorithm to general holonomic functions
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- The absent-minded passengers problem: a motivating challenge solved by computer algebra
- The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
- The heavy fermion contributions to the massive three loop form factors
- Minimal representations and algebraic relations for single nested products
- The three-loop polarized pure singlet operator matrix element with two different masses
- Structural theorems for symbolic summation
- The method of arbitrarily large moments to calculate single scale processes in quantum field theory
- The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
- The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\)
- Summation algorithms for Stirling number identities
- Plane partitions. VI: Stembridge's TSPP theorem
- A new Sigma approach to multi-summation
- Indefinite summation with unspecified summands
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Liouville's theorem on functions with elementary integrals
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- Reducing differential equations for multiloop master integrals
- Symbolic summation assists combinatorics
- HIGH-PRECISION CALCULATION OF MULTILOOP FEYNMAN INTEGRALS BY DIFFERENCE EQUATIONS
- Ore Polynomials in Sage
- Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
- Harmonic sums and polylogarithms generated by cyclotomic polynomials
- A non-holonomic systems approach to special function identities
- Iterated binomial sums and their associated iterated integrals
- The kite integral to all orders in terms of elliptic polylogarithms
- Application of unspecified sequences in symbolic summation
- Desingularization explains order-degree curves for ore operators
- Symbolic Summation in Difference Rings and Applications
- A Symbolic Summation Approach to Find Optimal Nested Sum Representations
- Evaluation of Binomial Double Sums Involving Absolute Values
- Hypergeometric dispersion and the orbit problem
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
- Analytic computing methods for precision calculations in quantum field theory
- Iterated elliptic and hypergeometric integrals for Feynman diagrams
- Symbolic summation with single-nested sum extensions
- Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
- Expansion around half-integer values, binomial sums, and inverse binomial sums
- Anti-Differentiation and the Calculation of Feynman Amplitudes
- Creative Telescoping for Holonomic Functions
- Solving Linear Recurrence Equations with Polynomial Coefficients
- Simplifying Multiple Sums in Difference Fields
- On the structure of compatible rational functions
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
