Log In Sign Up

Holonomic Tools for Basic Hypergeometric Functions

by   Christoph Koutschan, et al.

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.


page 1

page 2

page 3

page 4


Cadabra and Python algorithms in General Relativity and Cosmology I: Generalities

The aim of this work is to present a series of concrete examples which i...

An analog of the Sinc approximation for periodic functions

In this paper, we propose an interpolation formula for periodic function...

Residues of skew rational functions and linearized Goppa codes

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

Computer algebra tools for Feynman integrals and related multi-sums

In perturbative calculations, e.g., in the setting of Quantum Chromodyna...

A Tensor Based Data Model for Polystore: An Application to Social Networks Data

In this article, we show how the mathematical object tensor can be used ...