Creative telescoping on multiple sums

DOI10.1007/s11786-021-00514-3zbMath1494.33017arXiv2010.08889MaRDI QIDQ2051595

Christoph Koutschan, Elaine Wong

Publication date: 24 November 2021

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.08889

zbMATH Keywords

hypergeometric series; holonomic function; creative telescoping; symbolic summation

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

39A13: Difference equations, scaling ((q)-differences)

33C05: Classical hypergeometric functions, ({}_2F_1)

33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)

Uses Software

• HolonomicFunctions
• SIGMA
• MultiSum
• ore_algebra