Summation in Finite Terms
From MaRDI portal
Publication:3957938
DOI10.1145/322248.322255zbMath0494.68044OpenAlexW1983693613MaRDI QIDQ3957938
Publication date: 1981
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322248.322255
difference algebraalgebraic symbol manipulationsymbolic solutions of first order linear difference equations in given fields
Symbolic computation and algebraic computation (68W30) Difference algebra (12H10) Field extensions (12F99)
Related Items
Riordan arrays and combinatorial sums, AN EFFICIENT ALGORITHM FOR DERIVING SUMMATION IDENTITIES FROM MUTUAL RECURRENCES, Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm, Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations, The two-loop massless off-shell QCD operator matrix elements to finite terms, Computer algebra: Past and future, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra, Algebraic independence of sequences generated by (cyclotomic) harmonic sums, Solving parameterized linear difference equations in terms of indefinite nested sums and products, Differential and difference algebra, Some open problems related to creative telescoping, Iterated binomial sums and their associated iterated integrals, Padé approximations to the logarithm. III: Alternative methods and additional results, An algorithmic approach to the \(q\)-summability problem of bivariate rational functions, 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 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, The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension, 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 extended Zeilberger algorithm with parameters, The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\), Rational solutions to the first order difference equations in the bivariate difference field, The \(O(\alpha_s^3)\) massive operator matrix elements of \(O(n_f)\) for the structure function \(F_{2}(x,Q^{2})\) and transversity, A symbolic summation approach to Feynman integral calculus, Computer proofs of a new family of harmonic number identities., Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, Hypergeometric pattern matching summation in Maple, Unfair permutations, 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)\), A refined difference field theory for symbolic summation, Parameterized telescoping proves algebraic independence of sums, Automated solution of first order factorizable systems of differential equations in one variable, Solving difference equations whose coefficients are not transcendental, SumCracker: A package for manipulating symbolic sums and related objects, 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, Summation algorithms for Stirling number identities, Rational solutions of ordinary difference equations, Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms, Accelerating indefinite summation: simple classes of summands, A new Sigma approach to multi-summation, Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem, Structural theorems for symbolic summation, Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra, Two-loop massive operator matrix elements for unpolarized heavy flavor production to \(O(\epsilon)\), SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, Difference Algebra, Indefinite summation with unspecified summands, Gaussian Hypergeometric series and supercongruences, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, Computing the algebraic relations of \(C\)-finite sequences and multisequences, Telescoping method, summation formulas, and inversion pairs, Large Scale Analytic Calculations in Quantum Field Theories, Evaluation of Binomial Double Sums Involving Absolute Values, Another proof of a supercongruence conjecture of Z.-W. Sun, Rational solutions of first-order algebraic ordinary difference equations, 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, The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II, On solutions of linear ordinary difference equations in their coefficient field, The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements, A case study for \(\zeta (4)\), MACSYMA from F to G, Formal solutions of differential equations, Contiguous Relations and Creative Telescoping, Nested Integrals and Rationalizing Transformations, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Representation of hypergeometric products in difference rings, Denominator bounds for higher order systems of linear recurrence equations, Theory of summation in finite terms, Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields, A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function., The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
