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 Koutschan | 1 | 104 | 20.29 |
Peter Paule | 2 | 54 | 8.55 |