A non-holonomic systems approach to special function identities
From MaRDI portal
Publication:2883807
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
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
This page was built for publication: A non-holonomic systems approach to special function identities
