A non-holonomic systems approach to special function identities

DOI10.1145/1576702.1576720zbMath1237.33001OpenAlexW3101869060MaRDI QIDQ2883807

Manuel 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)

Related Items (11)

Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Some open problems related to creative telescoping ⋮ Trading order for degree in creative telescoping ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ On the existence of telescopers for rational functions in three variables ⋮ A fast approach to creative telescoping ⋮ Formal residue and computer-assisted proofs of combinatorial identities ⋮ A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind ⋮ Creative Telescoping for Holonomic Functions ⋮ Linear differential equations as a data structure ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation

Uses Software

• Stirling

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