Term algebras, canonical representations and difference ring theory for symbolic summation
From MaRDI portal
(Redirected from Publication:5022185)
Abstract: A general overview of the existing difference ring theory for symbolic summation is given. Special emphasis is put on the user interface: the translation and back translation of the corresponding representations within the term algebra and the formal difference ring setting. In particular, canonical (unique) representations and their refinements in the introduced term algebra are explored by utilizing the available difference ring theory. Based on that, precise input-output specifications of the available tools of the summation package Sigma are provided.
Recommendations
Cites work
- \(q\)-hypergeometric solutions of \(q\)-difference equations
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions
- A difference ring theory for symbolic summation
- A holonomic systems approach to special functions identities
- A new Sigma approach to multi-summation
- A non-holonomic systems approach to special function identities
- A refined difference field theory for symbolic summation
- A symbolic summation approach to Feynman integral calculus
- A symbolic summation approach to find optimal nested sum representations
- Algebraic and algorithmic aspects of linear difference equations
- Algebraic independence of sequences generated by (cyclotomic) harmonic sums
- Algebraic relations between harmonic sums and associated quantities.
- Algebraic simplification
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An extension of Zeilberger's fast algorithm to general holonomic functions
- An implementation of Karr's summation algorithm in Mathematica
- Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
- Analytic computing methods for precision calculations in quantum field theory
- Anti-Differentiation and the Calculation of Feynman Amplitudes
- Application of unspecified sequences in symbolic summation
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- Automated proofs for some Stirling number identities
- Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra
- Computer proofs of a new family of harmonic number identities.
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Creative telescoping for holonomic functions
- Decision procedure for indefinite hypergeometric summation
- Degree bounds to find polynomial solutions of parameterized linear difference equations in -fields
- Denominator bounds for systems of recurrence equations using -extensions
- Desingularization explains order-degree curves for Ore operators
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- Differential Galois theory of linear difference equations
- Elliptic Feynman integrals and pure functions
- Evaluation of Binomial Double Sums Involving Absolute Values
- Expansion around half-integer values, binomial sums, and inverse binomial sums
- Fast algorithms for refined parameterized telescoping in difference fields
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
- Finite singularities and hypergeometric solutions of linear recurrence equations
- Galois theory of difference equations
- Greatest factorial factorization and symbolic summation
- Harmonic sums and polylogarithms generated by cyclotomic polynomials
- HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
- High-precision calculation of multiloop Feynman integrals by difference equations
- scientific article; zbMATH DE number 3511549 (Why is no real title available?)
- scientific article; zbMATH DE number 1254298 (Why is no real title available?)
- scientific article; zbMATH DE number 1263410 (Why is no real title available?)
- scientific article; zbMATH DE number 1023404 (Why is no real title available?)
- scientific article; zbMATH DE number 1086647 (Why is no real title available?)
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- scientific article; zbMATH DE number 3207354 (Why is no real title available?)
- scientific article; zbMATH DE number 3385223 (Why is no real title available?)
- Hypergeometric dispersion and the orbit problem
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Indefinite summation with unspecified summands
- Iterated binomial sums and their associated iterated integrals
- Iterated elliptic and hypergeometric integrals for Feynman diagrams
- Liouville's theorem on functions with elementary integrals
- Liouvillian solutions of linear differential equations with Liouvillian coefficients
- Massive Feynman diagrams and inverse binomial sums
- MATAD: A program package for the computation of MAssive TADpoles
- Minimal representations and algebraic relations for single nested products
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- On rational solutions of systems of linear differential equations
- On solutions of linear ordinary difference equations in their coefficient field
- On the structure of compatible rational functions
- Ore polynomials in Sage
- Parameterized telescoping proves algebraic independence of sums
- Plane partitions. VI: Stembridge's TSPP theorem
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- Product representations in -fields
- Rational solutions of linear differential and difference equations with polynomial coefficients
- Reducing differential equations for multiloop master integrals
- Refined holonomic summation algorithms in particle physics
- Representing (q-)hypergeometric products and mixed versions in difference rings
- Simplifying multiple sums in difference fields
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Solving difference equations in finite terms
- Solving linear recurrence equations with polynomial coefficients
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Structural theorems for symbolic summation
- Summation algorithms for Stirling number identities
- Summation in Finite Terms
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Symbolic integration. I: Transcendental functions
- Symbolic summation assists combinatorics
- Symbolic summation in difference rings and applications
- Symbolic summation with radical expressions
- Symbolic summation with single-nested sum extensions
- 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 non-singlet heavy flavor contributions to the structure function g₁(x, Q^2) at large momentum transfer
- The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension
- The Abel-Zeilberger algorithm
- The absent-minded passengers problem: a motivating challenge solved by computer algebra
- The heavy fermion contributions to the massive three loop form factors
- The kite integral to all orders in terms of elliptic polylogarithms
- The method of arbitrarily large moments to calculate single scale processes in quantum field theory
- The method of creative telescoping
- The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
- The Problem of Integration in Finite Terms
- The three-loop polarized pure singlet operator matrix element with two different masses
- 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)\)
- The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
- Theory of summation in finite terms
Cited in
(13)- Structural theorems for symbolic summation
- Symbolic summation in difference rings and applications
- A difference ring theory for symbolic summation
- Analytic integration methods in quantum field theory: an introduction
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- Hypergeometric structures in Feynman integrals
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Computing Mellin representations and asymptotics of nested binomial sums in a symbolic way: the Rica package
- Asymptotics for the reciprocal and shifted quotient of the partition function
- On the stability barrier of Hermite type discretizations of advection equations
- Error bounds for the asymptotic expansion of the partition function
- Complete reduction for derivatives in a primitive tower
- A refined difference field theory for symbolic summation
This page was built for publication: Term algebras, canonical representations and difference ring theory for symbolic summation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5022185)
