On the structure of multivariate hypergeometric terms.

DOI10.1016/S0196-8858(02)00022-2zbMath1057.33017MaRDI QIDQ1866177

Sergey A. Abramov, Marko Petkovsek

Publication date: 3 April 2003

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items

When does Zeilberger's algorithm succeed?, Applicability of the \(q\)-analogue of Zeilberger's algorithm, Dimensions of solution spaces of \(H\)-systems, A telescoping method for double summations

Cites Work

• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• D-finite power series
• A fast algorithm for proving terminating hypergeometric identities
• Differentiably finite power series
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
• Rational Functions Certify Combinatorial Identities
• Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation
• Decision procedure for indefinite hypergeometric summation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item