Structural theorems for symbolic summation
From MaRDI portal
Publication:2267370
DOI10.1007/s00200-009-0115-3zbMath1191.68891OpenAlexW2141505290MaRDI QIDQ2267370
Publication date: 1 March 2010
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00200-009-0115-3
Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items (15)
Algebraic independence of sequences generated by (cyclotomic) harmonic sums ⋮ Iterated binomial sums and their associated iterated integrals ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ 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 ⋮ Representation of hypergeometric products of higher nesting depths in difference rings ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ Minimal representations and algebraic relations for single nested products ⋮ The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\) ⋮ The polarized transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O(\alpha_s^3)\) ⋮ A difference ring theory for symbolic summation ⋮ Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms ⋮ Simplifying Multiple Sums in Difference Fields ⋮ 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parameterized telescoping proves algebraic independence of sums
- Rational normal forms and minimal decompositions of hypergeometric terms
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- A refined difference field theory for symbolic summation
- Two-loop massive operator matrix elements for unpolarized heavy flavor production to \(O(\epsilon)\)
- 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
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Non-commutative elimination in Ore algebras proves multivariate identities
- Solving difference equations in finite terms
- Finite singularities and hypergeometric solutions of linear recurrence equations
- Symbolic integration. I: Transcendental functions
- On solutions of linear ordinary difference equations in their coefficient field
- Product representations in \(\Pi\Sigma\)-fields
- Some \(q\)-series identities related to divisor functions
- Greatest factorial factorization and symbolic summation
- A note on alternating sums
- Multibasic and mixed hypergeometric Gosper-type algorithms
- An extension of Zeilberger's fast algorithm to general holonomic functions
- A new Sigma approach to multi-summation
- Indefinite summation with unspecified summands
- Liouville's theorem on functions with elementary integrals
- Duality for finite multiple harmonic \(q\)-series
- Sur l'intégrabilite élémentaire de quelques classes d'expressions
- A Symbolic Summation Approach to Find Optimal Nested Sum Representations
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- An Extension of Liouville’s Theorem on Integration in Finite Terms
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- Euler Sums and Contour Integral Representations
- HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
- Symbolic summation with single-nested sum extensions
- Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- The Problem of Integration in Finite Terms
- The solution of the problem of integration in finite terms
This page was built for publication: Structural theorems for symbolic summation