scientific article; zbMATH DE number 872231
From MaRDI portal
Publication:4875364
zbMATH Open0848.05002MaRDI QIDQ4875364FDOQ4875364
Doron Zeilberger, Herbert S. Wilf, Marko Petkovšek
Publication date: 29 April 1996
Title of this publication is not available (Why is that?)
algorithmshypergeometric seriesMapleMathematicabinomial coefficient identitiesGosper's AlgorithmSister Celine's MethodWZ MethodZeilberger's Algorithm
Generalized hypergeometric series, ({}_pF_q) (33C20) Combinatorics in computer science (68R05) Factorials, binomial coefficients, combinatorial functions (05A10) (q)-calculus and related topics (05A30) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15) Difference operators (39A70)
Cited In (only showing first 100 items - show all)
- On a congruence conjecture of Swisher
- \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)
- Three-dimensional maps and subgroup growth
- 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
- Univariate polynomial solutions of algebraic difference equations
- Proof of a basic hypergeometric supercongruence modulo the fifth power of a cyclotomic polynomial
- Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers
- Recurrence relations and asymptotics of colored Jones polynomials
- Say no to case analysis: automating the drudgery of case-based proofs
- Hypergeometric identities arising from the elephant random walk
- A refinement of the binomial distribution using the quantum binomial theorem
- Cambrian acyclic domains: counting \(c\)-singletons
- Binomial determinants for tiling problems yield to the holonomic ansatz
- A skeleton model to enumerate standard puzzle sequences
- D.H. Lehmer's tridiagonal determinant: an étude in (Andrews-inspired) experimental mathematics
- Subset representations and eigenvalues of the universal intertwining matrix
- Reduction formulas for higher order derivations and a hypergeometric identity
- Supercongruences for sums involving fourth power of some rising factorials
- Proof of a supercongruence via the Wilf-Zeilberger method
- Logarithmic integrals, zeta values, and tiered binomial coefficients
- Formal residue and computer-assisted proofs of combinatorial identities
- On the Andrews-Yee identities associated with mock theta functions
- Divisibility results on Franel numbers and related polynomials
- Semi-Baxter and Strong-Baxter: Two Relatives of the Baxter Sequence
- Trusting computations: a mechanized proof from partial differential equations to actual program
- 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
- Enumerations of humps and peaks in \((k, a)\)-paths and \((n, m)\)-Dyck paths via bijective proofs
- Gosper summability of rational multiples of hypergeometric terms
- Telescoping method, summation formulas, and inversion pairs
- Non-Koszulness of operads and positivity of Poincaré series
- Congruences involving \({2k\choose k}^2{3k\choose k}\)
- Title not available (Why is that?)
- Factored matrices can generate combinatorial identities
- On the average complexity for the verification of compatible sequences
- Reduction-based creative telescoping for Fuchsian D-finite functions
- On the rate of p-adic convergence of sums of powers of binomial coefficients
- Some congruences related to a congruence of Van Hamme
- The absent-minded passengers problem: a motivating challenge solved by computer algebra
- On Motzkin numbers and central trinomial coefficients
- Generalizations and improvements of approximations of some analytic functions: a survey
- Bilateral Ramanujan-like series for 1/πk and their congruences
- Super congruences for two Apéry-like sequences
- Irrationality of the values of \(\zeta_p(4, x)\)
- Telescoping method and congruences for double sums
- Decoupling combinatorial complexity: a two-step approach to distributions of runs
- On the quantum \(K\)-theory of the quintic
- Hankel continued fractions and Hankel determinants of the Euler numbers
- A diagrammatic approach to the AJ conjecture
- On some congruences involving Domb numbers and harmonic numbers
- Counting walks with large steps in an orthant
- A case study for \(\zeta (4)\)
- Symbolic summation methods and hypergeometric supercongruences
- Title not available (Why is that?)
- On the structure of multivariate hypergeometric terms.
- Algebraic Integral Geometry
- Generalized hypergeometric functions: product identities and weighted norm inequalities
- Complementary Riordan arrays
- Coefficients of multiplication formulas for classical orthogonal polynomials
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- A new Sigma approach to multi-summation
- The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences
- Summation algorithms for Stirling number identities
- The unimodality of a polynomial coming from a rational integral. Back to the original proof
- A refinement of Dyck paths: A combinatorial approach
- Formulae related to the \(q\)-Dixon formula with applications to Fibonomial sums
- Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
- Avoiding vincular patterns on alternating words
- Pattern-avoiding alternating words
- Relaxed singular vectors, Jack symmetric functions and fractional level \(\widehat{\mathfrak{sl}}(2)\) models
- On congruences related to central binomial coefficients
- Identities induced by Riordan arrays
- A remarkable sequence of integers
- The maximum degree and diameter-bounded subgraph in the mesh
- A \(q\)-analogue of Zhang's binomial coefficient identities
- Arbitrary-order trigonometric Fourier collocation methods for multi-frequency oscillatory systems
- Computer proofs of a new family of harmonic number identities.
- Moments of products of elliptic integrals
- Integral geometry of tensor valuations
- Integral Representation and Algorithms for Closed Form Summation
- An extension of holonomic sequences: \(C^2\)-finite sequences
- On the subset sum problem over finite fields
- Ptolemy diagrams and torsion pairs in the cluster category of Dynkin type \(A _{n }\)
- Standard Young tableaux in a \(( 2 , 1 )\)-hook and Motzkin paths
- Some binomial series obtained by the WZ-method
- Domb's numbers and Ramanujan-Sato type series for \(1/\pi\)
- Congruences involving generalized central trinomial coefficients
- Two new kinds of numbers and related divisibility results
- Congruences involving \(g_n(x)=\sum\limits_{k=0}^n\dbinom{n}{k}^2\dbinom{2k}{k}x^k\)
- An algorithm for deciding the summability of bivariate rational functions
- Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
- Counting humps and peaks in generalized Motzkin paths
- On polynomial integrals over the orthogonal group
- The \(O(\alpha_s^3)\) massive operator matrix elements of \(O(n_f)\) for the structure function \(F_{2}(x,Q^{2})\) and transversity
- Brauer algebras of simply laced type.
- A symbolic operator approach to several summation formulas for power series. II
- Integral forms of sums associated with harmonic numbers
- Determinant formulas relating to tableaux of bounded height
Uses Software
Recommendations
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 Q4875364)
