Holonomic Tools for Basic Hypergeometric Functions

02/01/2016
by   Christoph Koutschan, et al.
0

With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/06/2019

An analog of the Sinc approximation for periodic functions

In this paper, we propose an interpolation formula for periodic function...
07/16/2021

Tropical Laurent series, their tropical roots, and localization results for the eigenvalues of nonlinear matrix functions

Tropical roots of tropical polynomials have been previously studied and ...
08/22/2019

Residues of skew rational functions and linearized Goppa codes

This paper constitutes a first attempt to do analysis with skew polynomi...
06/06/2021

A Generalization of Classical Formulas in Numerical Integration and Series Convergence Acceleration

Summation formulas, such as the Euler-Maclaurin expansion or Gregory's q...
09/17/2018

Computer algebra tools for Feynman integrals and related multi-sums

In perturbative calculations, e.g., in the setting of Quantum Chromodyna...
11/12/2018

An Application of Rubi: Series Expansion of the Quark Mass Renormalization Group Equation

We highlight how Rule-based Integration (Rubi) is an enhanced method of ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.