scientific article; zbMATH DE number 872231
From MaRDI portal
zbMath0848.05002MaRDI QIDQ4875364
Doron Zeilberger, Herbert S. Wilf, Marko Petkovsek
Publication date: 29 April 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmshypergeometric seriesMathematicaMaplebinomial coefficient identitiesGosper's AlgorithmSister Celine's MethodWZ MethodZeilberger's Algorithm
Factorials, binomial coefficients, combinatorial functions (05A10) (q)-calculus and related topics (05A30) Combinatorics in computer science (68R05) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15) Difference operators (39A70) Generalized hypergeometric series, ({}_pF_q) (33C20)
Related Items
Coefficients of multiplication formulas for classical orthogonal polynomials, Enumeration of coalescent histories for caterpillar species trees and \(p\)-pseudocaterpillar gene trees, Efficient rational creative telescoping, Formulae related to the \(q\)-Dixon formula with applications to Fibonomial sums, A proof via finite elements for Schiffer's conjecture on a regular pentagon, A new generalization of Delannoy numbers, Avoiding vincular patterns on alternating words, Rational sphere maps, linear programming, and compressed sensing, Pattern-avoiding alternating words, A supercongruence involving Delannoy numbers and Schröder numbers, A binomial sum related to Wolstenholme's theorem, Congruences involving \(g_n(x)=\sum\limits_{k=0}^n\dbinom{n}{k}^2\dbinom{2k}{k}x^k\), Counting votes in coupled decisions. An efficient method for counting votes in coupled decisions with multiple inequality restrictions, Disturbing the Dyson conjecture, in a generally GOOD way, Counting unrooted maps on the plane, Counting hypercubes in hypercubes, Short proofs of summation and transformation formulas for basic hypergeometric series, Local cohomology modules supported at determinantal ideals, Directed projection functions of convex bodies, Approximations to di- and tri-logarithms, More hypergeometric identities related to Ramanujan-type series, On a strange evaluation of the hypergeometric series by Gosper, A representation theorem for (\(q\)-)holonomic sequences, Pfaffian decomposition and a Pfaffian analogue of \(q\)-Catalan Hankel determinants, A Riccati differential equation and free subgroup numbers for lifts of \(\mathrm{PSL}_2(\mathbb Z)\) modulo prime powers, Asymptotic behavior of \(S_n\) degrees associated with rational functions., The unimodality of a polynomial coming from a rational integral. Back to the original proof, Combinatorics of non-ambiguous trees, Some new binomial sums related to the Catalan triangle, More on the Wilson \(W_{tk}(v)\) matrices, The strong factorial conjecture, Generalized higher order Stirling numbers, Combinatorial telescoping for an identity of Andrews on parity in partitions, A differential equation for the asymptotic fitness distribution in the Bak-Sneppen model with five species, Signal-to-noise ratio fundamental constraints in discrete-time linear output feedback control, Change-of-bases abstractions for non-linear hybrid systems, Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs, Relaxed singular vectors, Jack symmetric functions and fractional level \(\widehat{\mathfrak{sl}}(2)\) models, The \(O(\alpha_s^3)\) massive operator matrix elements of \(O(n_f)\) for the structure function \(F_{2}(x,Q^{2})\) and transversity, A symbolic summation approach to Feynman integral calculus, Exact solution for mean energy of 2d Dyson gas at \(\beta = 1\), On congruences related to central binomial coefficients, On Delannoy numbers and Schröder numbers, Crossings, Motzkin paths and moments, The maximum degree and diameter-bounded subgraph in the mesh, Ptolemy diagrams and torsion pairs in the cluster category of Dynkin type \(A _{n }\), On sums of Apéry polynomials and related congruences, Unfair permutations, Identities induced by Riordan arrays, Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences, Moments of products of elliptic integrals, On the divisibility properties of certain binomial sums, Signed excedance enumeration in classical and affine Weyl groups, Congruences involving generalized central trinomial coefficients, A symbolic operator approach to several summation formulas for power series. II, Generalizations of an integral for Legendre polynomials by Persson and Strang, The Zagier polynomials. II: Arithmetic properties of coefficients, The reciprocal super Catalan matrix, A variant of the reciprocal super Catalan matrix, A difference ring theory for symbolic summation, A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., Converging to Gosper's algorithm, An Ansatz for the asymptotics of hypergeometric multisums, On a ratio monotonicity conjecture of a new kind of numbers, Integral geometry of tensor valuations, Counting triangulations of some classes of subdivided convex polygons, Number of appearances of events in random sequences: a new generating function approach to type II and type III runs, Constructive extensions of three summation formulas for \(q\)-series and their applications to bailey pairs, On the subset sum problem over finite fields, The 2-adic valuation of a sequence arising from a rational integral, A symbolic computation approach to a problem involving multivariate Poisson distributions, Proof of Sun's conjectures on integer-valued polynomials, Convergence acceleration via combined nonlinear-condensation transformations, The structure of Zhu's algebras for certain \(\mathcal W\)-algebras, On the degree of commutativity of \(p\)-groups of maximal class., Determinant formulas relating to tableaux of bounded height, The mean value of the squared path-difference distance for rooted phylogenetic trees, The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences, The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\), Combinatorial sums and implicit Riordan arrays, Explicit expressions for the moments of the size of an \((s,\, s+1)\)-core partition with distinct parts, Parameter augmentation and the \(q\)-Gosper algorithm, Proving hypergeometric identities by numerical verifications, Integral forms of sums associated with harmonic numbers, On \(d\)-dimensional \(d\)-semimetrics and simplex-type inequalities for high-dimensional sine functions, Square lattice walks avoiding a quadrant, Recurrence relations for graph polynomials on bi-iterative families of graphs, Connections between \(p=x^2+3y^2\) and Franel numbers, Symmetric recurrence relations and binomial transforms, A class of permutation binomials over finite fields, \(G\)-functions and multisum versus holonomic sequences, Lattice and Schröder paths with periodic boundaries, Bilateral Bailey lemma and Rogers-Ramanujan identities, The Zagier modification of Bernoulli numbers and a polynomial extension. I, Self-similar carpets over finite fields, Enumeration of bilaterally symmetric 3-noncrossing partitions, Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials, A remarkable sequence of integers, Periodic Pólya urns, the density method and asymptotics of Young tableaux, Eliminations in Weyl algebras and identities., On the quantum \(K\)-theory of the quintic, Contiguous relations of hypergeometric series, Manifold properties of planar polygon spaces, Domb's numbers and Ramanujan-Sato type series for \(1/\pi\), A skeleton model to enumerate standard puzzle sequences, Self-organization of knowledge economies, On series expansions of Capparelli's infinite product, \(k\)-free recurrences of double hypergeometric terms, Subset representations and eigenvalues of the universal intertwining matrix, On reaching head-to-tail ratios for balanced and unbalanced coins, Moments of level numbers of leaves in binary trees, Three-dimensional maps and subgroup growth, Algebraic independence of sequences generated by (cyclotomic) harmonic sums, Dougall's \(_5F_4\) sum and the WZ algorithm, Generalized Watson's summation formula for \(_3F_2(1)\), Some combinatorial matrices and their LU-decomposition, Arithmetic properties of Delannoy numbers and Schröder numbers, On the divisibility properties concerning sums of binomial coefficients, Refinements and generalizations of some inequalities of Shafer-fink's type for the inverse sine function, Free subgroup numbers modulo prime powers: the non-periodic case, Non-Koszulness of operads and positivity of Poincaré series, A direct algorithm to construct the minimal \(Z\)-pairs for rational functions., Congruences involving \({2k\choose k}^2{3k\choose k}\), Analysis of multiple quickselect variants., Factored matrices can generate combinatorial identities, The expected value of the squared cophenetic metric under the Yule and the uniform models, On the average complexity for the verification of compatible sequences, Irrationality of the values of \(\zeta_p(4, x)\), A diagrammatic approach to the AJ conjecture, When does Zeilberger's algorithm succeed?, The colored HOMFLYPT function is q-holonomic, Computer proofs of a new family of harmonic number identities., The calculation of average distance in mesh structures., Supercongruences for sums involving fourth power of some rising factorials, An operator inequality and self-adjointness., Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, Laurent, rational, and hypergeometric solutions of linear \(q\)-difference systems of arbitrary order with polynomial coefficients, Particular solutions of linear differential and (\(q\)-) difference systems with hypergeometric right-hand sides, Minimal representations and algebraic relations for single nested products, Refined estimates and generalizations of inequalities related to the arctangent function and Shafer's inequality, The Kazhdan-Lusztig polynomials of uniform matroids, Independence number of products of Kneser graphs, Free subgroups of free products and combinatorial hypermaps, Finding more divisibility properties of binomial sums via the WZ method, Nonnegative linearization coefficients of the generalized Bessel polynomials, A multi-computational exploration of some games of pure chance, Computing the multilinear factors of lacunary polynomials without heights, Supercongruences involving Lucas sequences, New infinite hierarchies of polynomial identities related to the Capparelli partition theorems, Some properties of a class of sparse polynomials, Proof of some conjectural hypergeometric supercongruences via curious identities, Binomial determinants for tiling problems yield to the holonomic ansatz, Semi-Baxter and strong-Baxter permutations, Recurrence relations and asymptotics of colored Jones polynomials, On a congruence conjecture of Swisher, On some supercongruence conjectures for truncated hypergeometric series, Restricted inversion sequences and enhanced 3-noncrossing partitions, Higher derivatives of Airy functions and of their products, An algorithm for deciding the summability of bivariate rational functions, Generic differential operators on Siegel modular forms and special polynomials, Log-convexity and log-concavity for series in gamma ratios and applications, Cambrian acyclic domains: counting \(c\)-singletons, Well-poised generation of Apéry-like recursions, Simple algorithms for computing the Bézier coefficients of the constrained dual Bernstein polynomials, Restricted sum formula of alternating Euler sums, Bijections for inversion sequences, ascent sequences and 3-nonnesting set partitions, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, Proof of a supercongruence via the Wilf-Zeilberger method, Standard Young tableaux in a \(( 2 , 1 )\)-hook and Motzkin paths, Decoupling combinatorial complexity: a two-step approach to distributions of runs, Counting walks with large steps in an orthant, Plane partitions of shifted double staircase shape, A tree expansion formula of a homology intersection number on the configuration space \(\mathcal{M}_{0,n} \), On some conjectural supercongruences for sums involving certain rising factorials, Telescoping method, summation formulas, and inversion pairs, D.H. Lehmer's tridiagonal determinant: an étude in (Andrews-inspired) experimental mathematics, On the Andrews-Yee identities associated with mock theta functions, Reduction formulas for higher order derivations and a hypergeometric identity, \(q\)-Apéry irrationality proofs by \(q\)-WZ pairs, The absent-minded passengers problem: a motivating challenge solved by computer algebra, On the spectrum of Markov operators of spherical designs, Cellular telephone networks and random maps in hypergraphs, The number of centered lozenge tilings of a symmetric hexagon, On Motzkin numbers and central trinomial coefficients, On the conjectured upper bounds for entries of mutation count matrices, Ehrhart polynomials of matroid polytopes and polymatroids, Generalizations and improvements of approximations of some analytic functions: a survey, A \(q\)-analogue of Zhang's binomial coefficient identities, The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II, Identities of nonterminating series by Zeilberger's algorithm, The average diameter and its estimation in nonlinear structures, A case study for \(\zeta (4)\), \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\), An extension of holonomic sequences: \(C^2\)-finite sequences, Heat invariants of Riemannian manifolds, MultInt, a MAPLE package for multiple integration by the WZ method, Enumeration of Lozenge tilings of hexagons with cut-off corners, On the structure of multivariate hypergeometric terms., Some binomial series obtained by the WZ-method, Say no to case analysis: automating the drudgery of case-based proofs, Exploring general Apéry limits via the Zudilin–Straub t-transform, Applications of Zeilberger’s Algorithm to Ramanujan-Inspired Series Involving Harmonic-Type Numbers, Convolution identities involving the central binomial coefficients and Catalan numbers, A Wilf–Zeilberger–Based Solution to the Basel Problem With Applications, A refinement of Dyck paths: A combinatorial approach, Unnamed Item, Unnamed Item, Unnamed Item, A Probabilistic Two-Pile Game, On the period mod $m$ of polynomially-recursive sequences: a case study, Joint distribution of rises, falls, and number of runs in random sequences, Interview with Don Knuth, A simple proof of higher order Turán inequalities for Boros-Moll sequences, Proof of some supercongruences concerning truncated hypergeometric series, On congruences involving Apéry numbers, Further WZ-based methods for proving and generalizing Ramanujan's series, Series acceleration formulas obtained from experimentally discovered hypergeometric recursions, The sum of all width-one matrices, Distributional properties of continuous time processes: from CIR to bates, ON GUILLERA’S -SERIES FOR, Invariants of formal pseudodifferential operator algebras and algebraic modular forms, Human and automated approaches for finite trigonometric sums, Order bounds for C2-finite sequences, Some parametric congruences involving generalized central trinomial coefficients, Some new series for $1/\pi $ motivated by congruences, Bit-twiddling hacks for gamma matrices, Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik, Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats, Counting condorcet, Representation of hypergeometric products of higher nesting depths in difference rings, ON THE DIVISIBILITY OF SUMS OF q-SUPER CATALAN NUMBERS, A new orthogonal polynomial associated with a generalization of Delannoy numbers, On the rate of p-adic convergence of sums of powers of binomial coefficients, On a problem involving the squares of odd harmonic numbers, On Mneimneh's binomial sum involving harmonic numbers, Peacock patterns and resurgence in complex Chern-Simons theory, Hankel continued fractions and Hankel determinants of the Euler numbers, A unified approach to derive explicit solutions of generalized second-order linear recurrences and applications, The Spectrum of the Grigoriev–Laurent Pseudomoments, Gosper's strange series: a new, simplified proof and generalizations, Telescopers for differential forms with one parameter, Unnamed Item, Unnamed Item, A finite sequence of Hahn-type discrete orthogonal polynomials, Exterior integrability: Yang–Baxter form of non-equilibrium steady-state density operator, Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms, New analogues of the Filbert and Lilbert matrices via products of two k-tuples asymmetric entries, Unnamed Item, From sequences to polynomials and back, via operator orderings, Apéry Limits: Experiments and Proofs, The double square root, Jacobi polynomials and Ramanujan's master theorem, Unnamed Item, Formal residue and computer-assisted proofs of combinatorial identities, Logarithmic and Complex Constant Term Identities, Orthogonal Polynomials, Algebraic Integral Geometry, Unnamed Item, Unnamed Item, Walks on the slit plane: Other approaches, Baxter algebras and the umbral calculus, The Cauchy–Schlömilch transformation, Arbitrary-order trigonometric Fourier collocation methods for multi-frequency oscillatory systems, Counting solutions without zeros or repetitions of a linear congruence and rarefaction in \(b\)-multiplicative sequences, Congruences for the truncated Appell series F3 and F4, Supercongruences for truncated Appell series, Algebraic properties of Hermitian sums of squares, Some congruences involving fourth powers of central q-binomial coefficients, Proof of some supercongruences via the Wilf–Zeilberger method, On the Mabinogion urn model, Some congruences related to a congruence of Van Hamme, Bilateral Ramanujan-like series for 1/πk and their congruences, On some congruences involving Domb numbers and harmonic numbers, RAMANUJAN SERIES WITH A SHIFT, Supercongruences for sums involving rising factorial, A class of non-symmetric band determinants with the Gaussianq-binomial coefficients, Proof of a basic hypergeometric supercongruence modulo the fifth power of a cyclotomic polynomial, Automatic discovery of irrationality proofs and irrationality measures, Proof of a conjecture involving Sun polynomials, Recurrence relation associated with the sums of square binomial coefficients, Unimodality, linear recurrences and combinatorial properties associated to rays in the generalized Delannoy matrix, Creative Telescoping for Holonomic Functions, Simplifying Multiple Sums in Difference Fields, Mahler measure and the WZ algorithm, Asymptotics of Selberg-like integrals: The unitary case and Newton's interpolation formula, A WZ proof for a Ramanujan-like series involving cubed binomial coefficients, Congruences for certain families of Apéry-like sequences, Contiguous Relations and Creative Telescoping, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Gosper summability of rational multiples of hypergeometric terms, A refinement of the binomial distribution using the quantum binomial theorem, Proof of Sun’s conjectures on Schröder-like numbers, Orthogonal polynomial expansions for the Riemann xi function in the Hermite, Meixner--Pollaczek, and continuous Hahn bases, Supercongruences involving dual sequences, Analysis of the gift exchange problem, Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm, Generalized hypergeometric functions: product identities and weighted norm inequalities, Proof of some congruence conjectures of Guo and Liu, Sums of derivatives of binomial coefficients, A family of super congruences involving multiple harmonic sums, Colored HOMFLY polynomials for the pretzel knots and links, Telescoping in the context of symbolic summation in Maple, Super congruences for two Apéry-like sequences, Semi-Baxter and Strong-Baxter: Two Relatives of the Baxter Sequence, Two new kinds of numbers and related divisibility results, Trusting computations: a mechanized proof from partial differential equations to actual program, Brauer algebras of simply laced type., A new proof of the $q$-Dixon identity, On the number of planar Eulerian orientations, Proof of some divisibility results on sums involving binomial coefficients, Analytic computing methods for precision calculations in quantum field theory, The degree/diameter problem for mixed abelian Cayley graphs, Chained permutations and alternating sign matrices -- inspired by three-person chess, Pattern avoidance in ordered set partitions and words, On the generating function of discrete Chebyshev polynomials, A bug's identity, Logarithmic integrals, zeta values, and tiered binomial coefficients, Laguerre-Freud equations for Generalized Hahn polynomials of type I, On sequences of polynomials arising from graph invariants, Reduction-based creative telescoping for Fuchsian D-finite functions, The Chu-Vandermonde Identity via Leibniz′s Identity for Derivatives, The FA Cup Draw and Pairing Up Probabilities, The card guessing game: a generating function approach, Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications, Combinatorial identities and hypergeometric functions, Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers, On some divisibility properties of binomial sums, Telescoping method and congruences for double sums, Fourier transforms of some special functions in terms of orthogonal polynomials on the simplex and continuous Hahn polynomials, The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients, On polynomial integrals over the orthogonal group, The frequency spectrum of a mutation, and its age, in a general diffusion model, \(p\)-adic congruences motivated by series, Univariate polynomial solutions of algebraic difference equations, Closed form solutions of linear difference equations in terms of symmetric products, Delay-time distribution in the scattering of time-narrow wave packets (II)—quantum graphs, A modular supercongruence for _6F_5: An Apéry-like story, Minors of a class of Riordan arrays related to weighted partial Motzkin paths, Eigenconfigurations of tensors, Supercongruences involving products of two binomial coefficients, Unnamed Item, Counting humps and peaks in generalized Motzkin paths, Complementary Riordan arrays, Divisibility results on Franel numbers and related polynomials, Some Double Sums Involving Ratios of Binomial Coefficients Arising From Urn Models, On $q$-analogues of some series for $\pi $ and $\pi ^2$, How to Generate All Possible Rational Wilf-Zeilberger Pairs?, Formulas and Inequalities for Some Special Functions of a Complex Variable, Applicability of the \(q\)-analogue of Zeilberger's algorithm, 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, Inversion, Multiplication and Connection Formulae of Classical Continuous Orthogonal Polynomials, The generalized reciprocal super Catalan matrix, Factorizations related to the reciprocal Pascal matrix, HyperQuick algorithm for discrete hypergeometric distribution, Log-concavity properties of Minkowski valuations, Combinatorial sums and finite differences, An elimination lemma for algebras with PBW bases, Summation algorithms for Stirling number identities, Divisibility properties of a class of binomial sums, On homogeneous Zeilberger recurrences, Dimensions of solution spaces of \(H\)-systems, Plane partitions. VI: Stembridge's TSPP theorem, A new Sigma approach to multi-summation, A study of a generalization of a card problem, Extensions of the Kummer evaluation of a finite hypergeometric series, Iterated pushdown automata and sequences of rational numbers, Integral Representation and Algorithms for Closed Form Summation, Indefinite summation with unspecified summands, A combinatorial identity with application to Catalan numbers, Some supercongruences involving, Proofs of two conjectures on Catalan triangle numbers, Integral geometry of unitary area measures, Resultant-Free Computation of Indefinite Hyperexponential Integrals, Complex Chern-Simons theory at level \(k\) via the 3d-3d correspondence, On an Integral Identity, A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind, Evaluation of Binomial Double Sums Involving Absolute Values, Rational solutions of first-order algebraic ordinary difference equations, On generating functions of Hausdorff moment sequences, Symbolic summation methods and hypergeometric supercongruences, Quantum knot invariants, Unnamed Item, Hypergeometric identities arising from the elephant random walk, On the order of the recurrence produced by the method of creative telescoping, Unitriangular actions on quadratic forms and character degrees., Differential-recurrence properties of dual Bernstein polynomials, Advanced determinant calculus: a complement, Proof of a conjecture of Z.W. Sun, Nahm sums, stability and the colored Jones polynomial, On the enumeration of \((s, s + 1, s + 2)\)-core partitions, Proof of a conjecture of Z.-W. Sun on the divisibility of a triple sum, Enumerations of humps and peaks in \((k, a)\)-paths and \((n, m)\)-Dyck paths via bijective proofs
Uses Software
