Computer Algebra, Power Series and Summation

DOI10.1007/978-3-030-36744-2_7zbMath1443.33035OpenAlexW3010730965MaRDI QIDQ3298072

Wolfram Koepf

Publication date: 21 July 2020

Published in: Orthogonal Polynomials (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-36744-2_7

zbMATH Keywords

computer algebraalgorithms for power seriesalgorithms for summation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Uses Software

• gfun
• Maple
• CAOP
• FPS
• SumTools
• DEtools

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some recurrences for sums of powers of binomial coefficients
• The method of differentiating under the integral sign
• A fast algorithm for proving terminating hypergeometric identities
• Differentiably finite power series
• Power series in computer algebra
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Finite singularities and hypergeometric solutions of linear recurrence equations
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• Hypergeometric Orthogonal Polynomials and Their q-Analogues
• On two conjectures of M. S. Robertson
• Decision procedure for indefinite hypergeometric summation
• GFUN
• Computeralgebra
• Some generalized hypergeometric polynomials
• A Note on Pure Recurrence Relations

This page was built for publication: Computer Algebra, Power Series and Summation