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 fields; algorithm for finding formulas for finite sums; analogue to Liouville's theorem on elementary integrals
68W30: Symbolic computation and algebraic computation
39A10: Additive difference equations
39A12: Discrete version of topics in analysis
12H10: Difference algebra
Related Items
Solving parameterized linear difference equations in terms of indefinite nested sums and products, Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra, Formal solutions of differential equations, Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Padé approximations to the logarithm. III: Alternative methods and additional results, A refined difference field theory for symbolic summation, Differential Galois theory of linear difference equations, Rational solutions of ordinary difference equations, Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem, Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials, Computer algebra: Past and future, Computer proofs of a new family of harmonic number identities., On solutions of linear ordinary difference equations in their coefficient field, Structural theorems for symbolic summation, SumCracker: A package for manipulating symbolic sums and related objects, Summation algorithms for Stirling number identities, A new Sigma approach to multi-summation, Gaussian Hypergeometric series and supercongruences
Cites Work