Title
Holonomic Tools for Basic Hypergeometric Functions.
Abstract
With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilbergeru0027s holonomic systems approach in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action introduce to the basic techniques. An application highlight is a new computer-assisted proof of the celebrated Ismail-Zhang formula, an important q-analog of a classical expansion formula of plane waves in terms of Gegenbauer polynomials.
Year
Venue
Field
2016
arXiv: Symbolic Computation
Hypergeometric function,Holonomic,Algebra,Hypergeometric identity,Symbolic computation,Pure mathematics,Gegenbauer polynomials,Software,Generalized hypergeometric function,Mathematics
DocType
Volume
Citations 
Journal
abs/1602.00454
0
PageRank 
References 
Authors
0.34
2
2
Name
Order
Citations
PageRank
Christoph Koutschan110420.29
Peter Paule2548.55