scientific article; zbMATH DE number 1131976
Binomial coefficients; factorials; (q)-identities (11B65) Research exposition (monographs, survey articles) pertaining to special functions (33-02) Generalized hypergeometric series, ({}_pF_q) (33C20) Appell, Horn and Lauricella functions (33C65) Other basic hypergeometric functions and integrals in several variables (33D70)
The book deals with recently developed algorithmic techniques for hypergeometric summation. Such algorithms depend heavily upon use of a suitable computer algebra system, and the author decided to choose Maple. Some of the algorithms in the book are already included in Release V.4, and further packages are downloadable from the publisher. The three first chapters contain background material on the functions \(\Gamma\), \(_pF_q\), \(_r \phi_s\), and their special cases; some simple and useful algorithms are presented. Next comes an introductory consideration of holonomic recurrence equations for sums (a development of Sister Celine's idea), again set up as an algorithm. The main part of the book deals with the algorithms by Gosper (indefinite summation), Wilf-Zeilberger (hypergeometric identities), Zeilberger (holonomic recurrence relations), and Petkovšek (polynomial and hypergeometric term solutions of holonomic recurrence equations). Each of these is discussed in great detail, with Maple implementations, and examples. The corresponding \(q\)-cases are briefly considered. In the final chapters, the author proceeds from the discrete to the continuous case, from recurrence equations to differential equations. A number of differential and integral analogues are given, including the algorithm by Almkvist and Zeilberger finding a holonomic differential equation for the integral \(I(x)= \int^b_a F(x,t)dt\). Each chapter is accompanied by quite a few exercises. While most of them exemplify the algorithms, there are also some that deal more directly with implementations in Maple. Many results (in the exercises as well as in the main text) are of course classical ones whose proofs are well known. It is interesting to see that they are new derivable also by the new approaches. These do not always imply easier proofs than the classical ones, but clearly there is an enormous potential for considering cases that were hitherto beyond reach because of complexity. The book is recommended as a comprehensive and reasonably accessible treatment of the subject.
- Interlacing of the zeros of contiguous hypergeometric functions
- On Zeilberger's algorithm and its \(q\)-analogue
- A generalization of Kummer's identity.
- New formulas for the linearization coefficients of some nonsymmetric Jacobi polynomials
- Formulas for generalized two-qubit separability probabilities
- Certain class of generating functions for the incomplete hypergeometric functions
- A class of unified transform techniques for solving linear elliptic PDEs in convex polygons
- Positivity and monotony properties of the de Branges functions
- Recurrence equations and their classical orthogonal polynomial solutions
- Algorithms for m-fold hypergeometric summation
- Solving the 3D Laplace equation by meshless collocation via harmonic kernels
- Hypergeometric pattern matching summation in Maple
- Algorithms for \(q\)-hypergeometric summation in computer algebra
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Construction and computation of unified Stirling-type numbers emerging from \(p\)-adic integrals and symmetric polynomials
- New formulae between Jacobi polynomials and some fractional Jacobi functions generalizing some connection formulae
- Shifted fifth-kind Chebyshev Galerkin treatment for linear hyperbolic first-order partial differential equations
- Small counts in nested Karlin's occupancy scheme generated by discrete Weibull-like distributions
- Advanced shifted first-kind Chebyshev collocation approach for solving the nonlinear time-fractional partial integro-differential equation with a weakly singular kernel
- New fractional derivative expression of the shifted third-kind Chebyshev polynomials: application to a type of nonlinear fractional pantograph differential equations
- Non-Koszulness of operads and positivity of Poincaré series
- The logarithmic concavity of modified Bessel functions of the first kind and its related functions
- Veronese powers of operads and pure homotopy algebras
- Fast computation of binomial coefficients
- Limits and fluctuations of \(p\)-adic random matrix products
- The Riemann \(\zeta \) function and asymptotics for Stieltjes fractions
- Proof of a conjecture of Z.-W. Sun on the divisibility of a triple sum
- Minimum cost allocation of quality improvement targets under supplier process disruption
- Bieberbach's conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality
- Box integrals
- Asymptotic approximations for the first incomplete elliptic integral near logarithmic singularity
- Linearization coefficients for Boas-Buck polynomial sets
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Geometry of curves with exceptional secant planes: Linear series along the general curve
- Deconvolving compactly supported densities
- On the exhaustivity of simplicial partitioning
- Hypergeometric summation. An algorithmic approach to summation and special function identities
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- On the Gosper-Petkovšek representation of rational functions
- Modular algorithms in symbolic summation and symbolic integration
- Efficient lack of fit designs that are optimal to estimate the highest coefficient of a polynomial
- Unitriangular actions on quadratic forms and character degrees.
- Linearization formulae for certain Jacobi polynomials
- Factoring linear partial differential operators in \(n\) variables
- Telescoping in the context of symbolic summation in Maple
- Unified approach to spectral properties of multipliers
- A novel finite-time complex-valued zeoring neural network for solving time-varying complex-valued Sylvester equation
- Hypergeometric fractional derivatives formula of shifted Chebyshev polynomials: tau algorithm for a type of fractional delay differential equations
- Proof of some conjectures of Z.-W. Sun on the divisibility of certain double sums
- Proof of two conjectures of Sun on congruences for Franel numbers
- Two classes of special functions using Fourier transforms of generalized ultraspherical and generalized Hermite polynomials
- Computer algebra
- The 2-log-convexity of the Apéry numbers
- A further investigation of a pair of series transformation formulas with applications
- SumTools
- A connection formula between double hypergeometric series _2 and _3
- Classical Orthogonal Polynomials of a Discrete and a q-Discrete Variable
- Computer algebra, power series and summation
- Orthogonal polynomials and computer algebra
- Advances in the theory of box integrals
- scientific article; zbMATH DE number 5781392 (Why is no real title available?)
- Stieltjes functions and discrete classical orthogonal polynomials
- On a strange evaluation of the hypergeometric series by Gosper
- Algorithmic determination of q-power series for q-holonomic functions
- Trading order for degree in creative telescoping
- Representations of \(q\)-orthogonal polynomials
- scientific article; zbMATH DE number 2061780 (Why is no real title available?)
- Recurrence relations for the connection coefficients of classical orthogonal polynomials
- Boundedness of fractional differential operator in complex spaces
- Linearization and Krein-like functionals of hypergeometric orthogonal polynomials
- On the existence of telescopers for mixed hypergeometric terms
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- An explicit formula for the inverse of a factorial Hankel matrix
- Proof of a conjecture involving Sun polynomials
- Some definite integral associated to error function and hypergeometric function
- A generalized formula involving gamma function
- scientific article; zbMATH DE number 7450706 (Why is no real title available?)
- scientific article; zbMATH DE number 7450708 (Why is no real title available?)
- Some new representations of Hikami's second-order mock theta function \(\mathfrak{D}_5(q)\)
- Analytical results for the in-degree and out-degree distributions of directed random networks that grow by node duplication
- New bounds for \psi (x)
- An identity involving product of generalized hypergeometric series \(_2F_2\)
- Mitigation of complex behavior over networked systems: analysis of spatially invariant structures
- Generation of Coulomb matrix elements for the 2D quantum harmonic oscillator
- Orthogonal polynomials
- Creative telescoping for holonomic functions
- Proof of a congruence on sums of powers of q-binomial coefficients
- Proof of Sun’s conjectures on Schröder-like numbers
- Proof of Sun's conjectures on integer-valued polynomials
- Summa summarum
- Two classes of special functions using Fourier transforms of some finite classes of classical orthogonal polynomials
- No-neighbours recurrence schemes for space-time Green's functions on a 3D simple cubic lattice
- Holonomic tools for basic hypergeometric functions
- Some identities on Catalan numbers and hypergeometric functions via Catalan matrix power
- A generalization of Euler’s hypergeometric transformation
- Random Lindblad dynamics
- Three recitations on holonomic systems and hypergeometric series
- The Meixner--Pollaczek polynomials and a system of orthogonal polynomials in a strip
- Inverting linear combinations of identity and generalized Catalan matrices
- The discrete multidimensional MPUM
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382877)
