A non-holonomic systems approach to special function identities
DOI10.1145/1576702.1576720zbMATH Open1237.33001OpenAlexW3101869060MaRDI QIDQ2883807FDOQ2883807
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
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)
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)
Cited In (15)
- Creative telescoping for holonomic functions
- Term algebras, canonical representations and difference ring theory for symbolic summation
- Title not available (Why is that?)
- 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
- Formal residue and computer-assisted proofs of combinatorial identities
- A fast approach to creative telescoping
- 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)
- Recurrence-Driven Summations in Automated Deduction
- A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind
- Hypergeometric-type sequences
- Some open problems related to creative telescoping
Uses Software
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)
