An implementation of Karr's summation algorithm in Mathematica
From MaRDI portal
Publication:1972215
zbMath0941.68162MaRDI QIDQ1972215
Publication date: 17 April 2000
Published in: Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/120438
Symbolic computation and algebraic computation (68W30) Additive difference equations (39A10) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Difference algebra (12H10)
Related Items
Computer proofs of a new family of harmonic number identities., Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, A difference ring theory for symbolic summation, Accelerating indefinite summation: simple classes of summands, A new Sigma approach to multi-summation, Another proof of a supercongruence conjecture of Z.-W. Sun, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function.
Uses Software