Theory of summation in finite terms
From MaRDI portal
Publication:1070819
DOI10.1016/S0747-7171(85)80038-9zbMath0585.68052MaRDI QIDQ1070819
Publication date: 1985
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
difference fieldsalgorithm for finding formulas for finite sumsanalogue to Liouville's theorem on elementary integrals
Symbolic computation and algebraic computation (68W30) Additive difference equations (39A10) Discrete version of topics in analysis (39A12) Difference algebra (12H10)
Related Items (37)
Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Computer algebra: Past and future ⋮ Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation ⋮ Algebraic independence of sequences generated by (cyclotomic) harmonic sums ⋮ Solving parameterized linear difference equations in terms of indefinite nested sums and products ⋮ Some open problems related to creative telescoping ⋮ Padé approximations to the logarithm. III: Alternative methods and additional results ⋮ An algorithmic approach to the \(q\)-summability problem of bivariate rational functions ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ Interview with Peter Paule ⋮ Representation of hypergeometric products of higher nesting depths in difference rings ⋮ Rational solutions to the first order difference equations in the bivariate difference field ⋮ Computer proofs of a new family of harmonic number identities. ⋮ 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 ⋮ SumCracker: A package for manipulating symbolic sums and related objects ⋮ A difference ring theory for symbolic summation ⋮ Differential Galois theory of linear difference equations ⋮ Summation algorithms for Stirling number identities ⋮ Rational solutions of ordinary difference equations ⋮ 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 ⋮ Gaussian Hypergeometric series and supercongruences ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ Rational solutions of first-order algebraic ordinary difference equations ⋮ Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials ⋮ Simplifying Multiple Sums in Difference Fields ⋮ On solutions of linear ordinary difference equations in their coefficient field ⋮ Formal solutions of differential equations ⋮ Contiguous Relations and Creative Telescoping ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation ⋮ Representation of hypergeometric products in difference rings ⋮ Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
Cites Work
This page was built for publication: Theory of summation in finite terms
