Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation (Q5022185)

scientific article; zbMATH DE number 7458376

Language	Label	Description	Also known as
English	Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation	scientific article; zbMATH DE number 7458376

Statements

instance of

scholarly article

0 references

title

Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation (English)

0 references

published in

Texts & Monographs in Symbolic Computation

0 references

publication date

18 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2102.01471

0 references

describes a project that uses

MultiIntegrate

0 references

SIGMA

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Anti-Differentiation and the Calculation of Feynman Amplitudes

0 references

The absent-minded passengers problem: a motivating challenge solved by computer algebra

0 references

Q4875364

0 references

Evaluation of Binomial Double Sums Involving Absolute Values

0 references

HIGH-PRECISION CALCULATION OF MULTILOOP FEYNMAN INTEGRALS BY DIFFERENCE EQUATIONS

0 references

Reducing differential equations for multiloop master integrals

0 references

Denominator bounds for systems of recurrence equations using \(\Pi\Sigma\)-extensions

0 references

Nested sums, expansion of transcendental functions, and multiscale multiloop integrals

0 references

Q4362897

0 references

Representing \((q-)\)hypergeometric products and mixed versions in difference rings

0 references

Greatest factorial factorization and symbolic summation

0 references

Q4341407

0 references

Computer proofs of a new family of harmonic number identities.

0 references

A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities

0 references

Hypergeometric solutions of linear recurrences with polynomial coefficients

0 references

Solving Linear Recurrence Equations with Polynomial Coefficients

0 references

The Problem of Integration in Finite Terms

0 references

Liouville's theorem on functions with elementary integrals

0 references

An implementation of Karr's summation algorithm in Mathematica

0 references

Q3416425

0 references

Symbolic summation with single-nested sum extensions

0 references

Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields

0 references

Finding telescopers with minimal depth for indefinite nested sum and product expressions

0 references

Product representations in \(\Pi\Sigma\)-fields

0 references

Solving parameterized linear difference equations in terms of indefinite nested sums and products

0 references

SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS

0 references

Symbolic summation assists combinatorics

0 references

A refined difference field theory for symbolic summation

0 references

Parameterized telescoping proves algebraic independence of sums

0 references

Structural theorems for symbolic summation

0 references

A Symbolic Summation Approach to Find Optimal Nested Sum Representations

0 references

Simplifying Multiple Sums in Difference Fields

0 references

Fast Algorithms for Refined Parameterized Telescoping in Difference Fields

0 references

A difference ring theory for symbolic summation

0 references

Symbolic Summation in Difference Rings and Applications

0 references

Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects

0 references

Minimal representations and algebraic relations for single nested products

0 references

Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm

0 references

Liouvillian solutions of linear differential equations with Liouvillian coefficients

0 references

Q2990269

0 references

MATAD: A program package for the computation of MAssive TADpoles

0 references

Galois theory of difference equations

0 references

Finite singularities and hypergeometric solutions of linear recurrence equations

0 references

HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS

0 references

Expansion around half-integer values, binomial sums, and inverse binomial sums

0 references

An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities

0 references

A holonomic systems approach to special functions identities

0 references

The method of creative telescoping

0 references

Harmonic sums and polylogarithms generated by cyclotomic polynomials

0 references

The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension

0 references

Iterated binomial sums and their associated iterated integrals

0 references

The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\)

0 references

Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra

0 references

The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)

0 references

Iterated elliptic and hypergeometric integrals for Feynman diagrams

0 references

The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)

0 references

The three-loop polarized pure singlet operator matrix element with two different masses

0 references

Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms

0 references

Algebraic independence of sequences generated by (cyclotomic) harmonic sums

0 references

Q5654986

0 references

Q4091406

0 references

Rational solutions of linear differential and difference equations with polynomial coefficients

0 references

Hypergeometric dispersion and the orbit problem

0 references

Q4234305

0 references

Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem

0 references

Q4227348

0 references

\(q\)-hypergeometric solutions of \(q\)-difference equations

0 references

On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions

0 references

The kite integral to all orders in terms of elliptic polylogarithms

0 references

Plane partitions. VI: Stembridge's TSPP theorem

0 references

Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory

0 references

On rational solutions of systems of linear differential equations

0 references

Multibasic and mixed hypergeometric Gosper-type algorithms

0 references

The 3-loop non-singlet heavy flavor contributions to the structure function \(g_1(x, Q^2)\) at large momentum transfer

0 references

Algebraic relations between harmonic sums and associated quantities.

0 references

The method of arbitrarily large moments to calculate single scale processes in quantum field theory

0 references

Analytic computing methods for precision calculations in quantum field theory

0 references

A symbolic summation approach to Feynman integral calculus

0 references

Refined holonomic summation algorithms in particle physics

0 references

The heavy fermion contributions to the massive three loop form factors

0 references

Elliptic Feynman integrals and pure functions

0 references

Symbolic integration. I: Transcendental functions

0 references

Q3957939

0 references

On the structure of compatible rational functions

0 references

The Abel-Zeilberger algorithm

0 references

Desingularization explains order-degree curves for ore operators

0 references

An extension of Zeilberger's fast algorithm to general holonomic functions

0 references

A non-holonomic systems approach to special function identities

0 references

Q5334359

0 references

Massive Feynman diagrams and inverse binomial sums

0 references

Decision procedure for indefinite hypergeometric summation

0 references

Differential Galois theory of linear difference equations

0 references

Solving difference equations in finite terms

0 references

Summation in Finite Terms

0 references

Theory of summation in finite terms

0 references

Summation algorithms for Stirling number identities

0 references

Application of unspecified sequences in symbolic summation

0 references

Indefinite summation with unspecified summands

0 references

Q5301673

0 references

Automated proofs for some Stirling number identities

0 references

Ore Polynomials in Sage

0 references

Creative Telescoping for Holonomic Functions

0 references

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

0 references

A new Sigma approach to multi-summation

0 references

Computing the algebraic relations of \(C\)-finite sequences and multisequences

0 references

On solutions of linear ordinary difference equations in their coefficient field

0 references

Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra

0 references

The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements

0 references

Identifiers

zbMATH Open document ID

1484.81078

0 references

DOI

10.1007/978-3-030-80219-6_17

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5022185