Parameterized telescoping proves algebraic independence of sums
From MaRDI portal
Publication:659607
DOI10.1007/s00026-011-0076-7zbMath1232.33034arXiv0808.2596OpenAlexW1672862537MaRDI QIDQ659607
Publication date: 24 January 2012
Published in: Annals of Combinatorics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0808.2596
Transcendence (general theory) (11J81) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items (35)
The two-loop massless off-shell QCD operator matrix elements to finite terms ⋮ Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra ⋮ Algebraic independence of sequences generated by (cyclotomic) harmonic sums ⋮ Analytic computing methods for precision calculations in quantum field theory ⋮ Iterated binomial sums and their associated iterated integrals ⋮ The method of arbitrarily large moments to calculate single scale processes in quantum field theory ⋮ The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements ⋮ 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✱ ⋮ 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 ⋮ 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\) ⋮ Residues and telescopers for bivariate rational functions ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ Minimal representations and algebraic relations for single nested products ⋮ A refined difference field theory for symbolic summation ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ Automated solution of first order factorizable systems of differential equations in one variable ⋮ On the existence of telescopers for rational functions in three variables ⋮ 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 ⋮ Structural theorems for symbolic summation ⋮ Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra ⋮ Large Scale Analytic Calculations in Quantum Field Theories ⋮ The absent-minded passengers problem: a motivating challenge solved by computer algebra ⋮ Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I ⋮ Simplifying Multiple Sums in Difference Fields ⋮ 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
- Rational normal forms and minimal decompositions of hypergeometric terms
- Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
- A refined difference field theory for symbolic summation
- The method of creative telescoping
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- When does Zeilberger's algorithm succeed?
- Computer proofs of a new family of harmonic number identities.
- 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
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Symbolic summation assists combinatorics
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Parameterized telescoping proves algebraic independence of sums
