Symbolic summation with single-nested sum extensions
From MaRDI portal
Publication:4657337
DOI10.1145/1005285.1005326zbMath1134.33329OpenAlexW2016946768MaRDI QIDQ4657337
Publication date: 14 March 2005
Published in: Proceedings of the 2004 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1005285.1005326
Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items
Solving parameterized linear difference equations in terms of indefinite nested sums and products, Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, 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, Accelerating indefinite summation: simple classes of summands, A new Sigma approach to multi-summation, Structural theorems for symbolic summation, Indefinite summation with unspecified summands, Simplifying Multiple Sums in Difference Fields, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields