A holonomic systems approach to special functions identities

DOI10.1016/0377-0427(90)90042-XzbMath0738.33001WikidataQ56566718 ScholiaQ56566718MaRDI QIDQ1173698

Doron Zeilberger

Publication date: 25 June 1992

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

summation of seriesholonomic systems

Mathematics Subject Classification ID

Generalized hypergeometric series, ({}_pF_q) (33C20)

Related Items

Zeta types and Tannakian symbols as a method for representing mathematical knowledge, Holonomic functions and their relation to linearly constrained languages, Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations, The \(C\)-finite ansatz, There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts], D-finite numbers, The colored Jones function is \(q\)-holonomic, Current trends in asymptotics: Some problems and some solutions, Unnamed Item, Generalized exponential sums and the power of computers, On the conjecture \(\mathcal {L}_{\mathsf {DFCM}}\subsetneq \mathsf {RCM}\), Computing Gaussian \& exponential measures of semi-algebraic sets, Analytic computing methods for precision calculations in quantum field theory, Some open problems related to creative telescoping, Laguerre-Freud equations for Generalized Hahn polynomials of type I, Rational function certification of multisum/integral/“𝑞” identities, Reduction-based creative telescoping for Fuchsian D-finite functions, Unnamed Item, Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry, Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications, A general method for calculating lattice green functions on the branch cut, The log-concavity of Kazhdan-Lusztig polynomials of thagomizer matroids, Hermite Reduction for D-finite Functions via Integral Bases, Stability Problems on D-finite Functions, Holonomic representation of biadjoint scalar amplitudes, Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱, Holonomic functions and prehomogeneous spaces, Interview with Peter Paule, Automatic counting of generalized Latin rectangles and trapezoids, Representation of hypergeometric products of higher nesting depths in difference rings, Recurrence relations, succession rules and the positivity problem, Hardinian arrays, Nonlinear algebra and applications, Elimination in Weyl algebra and \(q\)-identities, Rigorous uniform approximation of D-finite functions using Chebyshev expansions, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, DIFFERENCE AND DIFFERENTIAL EQUATIONS FOR THE COLORED JONES FUNCTION, Closed form solutions of linear difference equations in terms of symmetric products, Gevrey series in quantum topology, Unnamed Item, Identities for families of orthogonal polynomials and special functions, The quasi-holonomic ansatz and restricted lattice walks, Laws of large numbers in the raise and peel model, The quantum MacMahon Master Theorem, Aligator: A Mathematica Package for Invariant Generation (System Description), A new symbolic method for solving linear two-point boundary value problems on the level of operators, SumCracker: A package for manipulating symbolic sums and related objects, Unitarily invariant valuations and Tutte’s sequence, Elimination and identities with the integral sign, Binomial determinants for tiling problems yield to the holonomic ansatz, An elimination lemma for algebras with PBW bases, Recurrence relations and asymptotics of colored Jones polynomials, Proof of George Andrews’s and David Robbins’s q -TSPP conjecture, Summation algorithms for Stirling number identities, A new Sigma approach to multi-summation, Holonomic gradient descent for the Fisher-Bingham distribution on the \(d\)-dimensional sphere, Fast evaluation of holonomic functions near and in regular singularities, Structural theorems for symbolic summation, Towards computerized proofs of identities, Pseudo-factorials, elliptic functions, and continued fractions, A fast algorithm for proving terminating hypergeometric identities. (Reprint), Rational Functions Certify Combinatorial Identities, Rationality of the Möbius function of a composition poset, The NoncommutativeA-Polynomial of (−2, 3,n) Pretzel Knots, Densities of short uniform random walks in higher dimensions, Recurrence Relations, Succession Rules, and the Positivity Problem, Analytic analysis of algorithms, Proof of Ira Gessel's lattice path conjecture, Random k -noncrossing RNA structures, Identities in character tables ofS_n, Reasoning Algebraically About P-Solvable Loops, Using nonlinear difference equations to study Quicksort algorithms, Computing the algebraic relations of \(C\)-finite sequences and multisequences, THE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTS, Point lattices and oscillating recurrence sequences^†, A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind, Difference Equation Theory Meets Mathematical Finance, Unnamed Item, Rational approximations for values of derivatives of the Gamma function, Estimation of exponential-polynomial distribution by holonomic gradient descent, Quantum knot invariants, Holonomic relations for modular functions and forms: First guess, then prove, Creative Telescoping for Holonomic Functions, Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I, Hypergeometric Functions in Mathematica ®, Simplifying Multiple Sums in Difference Fields, Linear differential equations as a data structure, Closed form summation of 𝐶-finite sequences, IS THE JONES POLYNOMIAL OF A KNOT REALLY A POLYNOMIAL?, On computing the coefficients of bivariate holonomic formal series, Nahm sums, stability and the colored Jones polynomial, Hypergeometric Functions and Feynman Diagrams, Holonomic Anti-Differentiation and Feynman Amplitudes, Contiguous Relations and Creative Telescoping, Nested Integrals and Rationalizing Transformations, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Third order integrability conditions for homogeneous potentials of degree −1, Uniqueness of Clifford torus with prescribed isoperimetric ratio, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals, Fiber convex bodies, Recurrences for quadrilateral high-order finite elements, Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences, Peacock patterns and resurgence in complex Chern-Simons theory, Telescopers for differential forms with one parameter, Unnamed Item, On the quantum \(K\)-theory of the quintic, Efficient rational creative telescoping, Holomorphic blocks in three dimensions, Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec, \(k\)-free recurrences of double hypergeometric terms, Recursive sequences attached to modular representations of finite groups, The (ordinary) generating functions enumerating \(123\)-avoiding words with \(r\) occurrences of each of \(1, 2, \dots, n\) are always algebraic, Binomial identities -- combinatorial and algorithmic aspects, \(q\)-holonomic formulas for colored HOMFLY polynomials of 2-bridge links, Asymptotic lattice path enumeration using diagonals, Inverse inequality estimates with symbolic computation, Symbolic conversion of holonomic functions to hypergeometric type power series, Virasoro vacuum block at next-to-leading order in the heavy-light limit, Conjectures on the enumeration of tableaux of bounded height, The number of permutations with exactly \(r\) 132-subsequences is \(P\)-recursive in the size!, Character sum identities in analogy with special functions identities, Multiple binomial sums, Constructing minimal telescopers for rational functions in three discrete variables, Exact enumeration of 1342-avoiding permutations: A close link with labeled trees and planar maps, Advanced computer algebra for determinants, Irreducibility of \(q\)-difference operators and the knot \(7_{4}\), A representation theorem for (\(q\)-)holonomic sequences, Formal power series and Hadamard product, The holonomic gradient method for the distribution function of the largest root of a Wishart matrix, Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra, Scattering amplitude annihilators, Cocharacter sequences are holonomic., Primitive transcendental functions and symbolic computation, Asymptotics of quantum spin networks at a fixed root of unity, Algorithmic determination of \(q\)-power series for \(q\)-holonomic functions, On the average complexity for the verification of compatible sequences, Harmonic interpolation based on Radon projections along the sides of regular polygons, A diagrammatic approach to the AJ conjecture, Analyticity of the planar limit of a matrix model, A quantitative study of pure parallel processes, A symbolic summation approach to Feynman integral calculus, The colored HOMFLYPT function is q-holonomic, Residues and telescopers for bivariate rational functions, A fast algorithm for proving terminating hypergeometric identities, Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, Symmetric functions and P-recursiveness, Skew-standard tableaux with three rows, Minimal representations and algebraic relations for single nested products, The method of creative telescoping, Elimination theory in differential and difference algebra, On the existence of telescopers for mixed hypergeometric terms, Solving difference equations whose coefficients are not transcendental, Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms, A multi-computational exploration of some games of pure chance, On the existence of telescopers for rational functions in three variables, A difference ring theory for symbolic summation, On the positivity of the Gillis-Reznick-Zeilberger rational function, Constructible differentially finite algebraic series in several variables, Integrable planar homogeneous potentials of degree \(- 1\) with small eigenvalues, Converging to Gosper's algorithm, An Ansatz for the asymptotics of hypergeometric multisums, The real-rootedness of generalized Narayana polynomials related to the Boros-Moll polynomials, A proof of the two parameter \(q\)-cases of the Macdonald-Morris constant term root system conjecture for \(S(F_ 4)\) and \(S(F_ 4)^ \vee\) via Zeilberger's method, Hypergeometric solutions of linear recurrences with polynomial coefficients, An approach to the zero recognition problem by Buchberger algorithm, Identities in search of identity, Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration, Bialgebras of recursive sequences and combinatorial identities, A fast approach to creative telescoping, The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences, On recurrences for Ising integrals, Algebraic analysis of the hypergeometric function \(_1F_1\) of a matrix argument, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, Effective bounds for P-recursive sequences, The product of the eigenvalues of a symmetric tensor, On a class of languages with holonomic generating functions, Hypergeometric expressions for generating functions of walks with small steps in the quarter plane, A characteristic set method for ordinary difference polynomial systems, Report from the open problems session at OPSFA13, \(G\)-functions and multisum versus holonomic sequences, Entropy of tropical holonomic sequences, Asymptotics of degrees and ED degrees of Segre products, Creative telescoping on multiple sums, How likely is Polya's drunkard to stay in \(x\geq y\geq z\)?, The method of differentiating under the integral sign, Fast evaluation of holonomic functions, Restricted \(k\)-ary words and functional equations, Enumeration of cubic graphs by inclusion-exclusion, Sur les fonctions entières à double pas récurrent. (Entire functions with double recurrent step.), Recursions for modified Walsh transforms of some families of Boolean functions, Generic Newton polygon of the \(L\)-function of \(n\) variables of the Laurent polynomial I, Center conditions. II: Parametric and model center problems, Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity, An algorithm to prove holonomic differential equations for modular forms, A case study for \(\zeta (4)\), On the robustness of interconnections in random graphs: a symbolic approach., \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\), Analytic variations on quadtrees, Entire solutions of a system of difference equations, On Zeilberger's algorithm and its \(q\)-analogue, On the structure of multivariate hypergeometric terms., An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities, Relax, but don't be too lazy, On multiple and infinite log-concavity, Eliminations in Weyl algebras and identities.

Uses Software

• DEtools

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some recurrences for sums of powers of binomial coefficients
• The method of differentiating under the integral sign
• D-finite power series
• A fast algorithm for proving terminating hypergeometric identities
• Symmetric functions and P-recursiveness
• Models of representations of classical groups and their hidden symmetries
• A proof of the Bieberbach conjecture
• The diagonal of a D-finite power series is D-finite
• Standard Young tableaux of height 4 and 5
• Differentiably finite power series
• Hypergeometric series well-poised in SU(n) and a generalization of Biedenharn's G-functions
• Sister Celine's technique and its generalizations
• The method of creative telescoping
• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• Asymptotic values for degrees associated with strips of Young diagrams
• The analytic continuation of generalized functions with respect to a parameter
• Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
• Gröbner basis and the problem of contiguous relations
• Exact Values for Degree Sums Over Strips of Young Diagrams
• Rational Functions Certify Combinatorial Identities
• An Indefinite Bibasic Summation Formula and Some Quadratic, Cubic and Quartic Summation and Transformation Formulas
• Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials
• Binomial Identities and Hypergeometric Series
• Summation, Transformation, and Expansion Formulas for Bibasic Series
• What is an Answer?
• Strange Evaluations of Hypergeometric Series
• Some Conjectures for Root Systems
• Module Structure of Weyl Algebras
• Counting Latin rectangles
• A General Theorem on Partitions with Difference Conditions
• Linearization of the Product of Jacobi Polynomials. III
• Towards computerized proofs of identities
• Some generalized hypergeometric polynomials
• Generating Functions for Bessel and Related Polynomials