A non-holonomic systems approach to special function identities

DOI10.1145/1576702.1576720MaRDI QIDQ2883807zbMATH OpenOpenAlexFDO

Authors M. Kauers, Bruno Salvy, Frédéric Chyzak

Publication date 13 May 2012

Published in Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.3801

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Software, source code, etc. for problems pertaining to special functions (33-04)

Recommendations

• A holonomic systems approach to special functions identities
• Algorithms for \(m\)-fold hypergeometric summation
• Non-commutative elimination in Ore algebras proves multivariate identities
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Advanced applications of the holonomic systems approach. (Abstract of thesis)

Cited in

(15)

• Creative telescoping for holonomic functions
• Term algebras, canonical representations and difference ring theory for symbolic summation
• scientific article; zbMATH DE number 6612518 (Why is no real title available?)
• Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
• Trading order for degree in creative telescoping
• A fast approach to creative telescoping
• Formal residue and computer-assisted proofs of combinatorial identities
• On the existence of telescopers for mixed hypergeometric terms
• On the existence of telescopers for rational functions in three variables
• Linear differential equations as a data structure
• Advanced applications of the holonomic systems approach. (Abstract of thesis)
• A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind
• Recurrence-Driven Summations in Automated Deduction
• Hypergeometric-type sequences
• Some open problems related to creative telescoping

Describes a project that uses

Uses Software

• Stirling

This page was built for publication: A non-holonomic systems approach to special function identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883807)