A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
From MaRDI portal
Publication:1918487
Recommendations
Cited in
(98)- A Mathematica package for \(q\)-holonomic sequences and power series
- Computer-assisted proofs of special function identities related to Poisson integrals
- The number of centered lozenge tilings of a symmetric hexagon
- Some questions concerning computer-generated proofs of a binomial double- sum identity
- \(q\)-hypergeometric solutions of \(q\)-difference equations
- A direct algorithm to construct the minimal \(Z\)-pairs for rational functions.
- The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II
- Self-organization of knowledge economies
- Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Holey matrimony: marrying two approaches to a tiling problem
- RComp: A \textit{Mathematica} package for computing with recursive sequences
- Covering all but the low weight vertices of the unit cube
- A case study for \(\zeta (4)\)
- Kazhdan-Lusztig polynomials of fan matroids, wheel matroids, and whirl matroids
- Hypergeometric representations and differential-difference relations for some kernels appearing in mathematical physics
- Minimal representations and algebraic relations for single nested products
- The Kazhdan-Lusztig polynomials of uniform matroids
- Rational solutions of first-order algebraic ordinary difference equations
- Pattern avoidance in ordered set partitions and words
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- SumCracker: A package for manipulating symbolic sums and related objects
- Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials
- A new Sigma approach to multi-summation
- Rationality of the Möbius function of a composition poset
- On the order of the recurrence produced by the method of creative telescoping
- Loops, matchings and alternating-sign matrices
- fastZeil
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- Telescoping in the context of symbolic summation in Maple
- Inequalities for the modified Bessel function of first kind of non-negative order
- The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval
- Spectral theorem for the Lindblad equation for quadratic open fermionic systems
- A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind
- Evaluation of Binomial Double Sums Involving Absolute Values
- Multiple binomial sums
- Aligator: A Mathematica Package for Invariant Generation (System Description)
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Fully packed loop models on finite geometries
- scientific article; zbMATH DE number 4055031 (Why is no real title available?)
- Trading order for degree in creative telescoping
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- A symbolic summation approach to Feynman integral calculus
- scientific article; zbMATH DE number 1023404 (Why is no real title available?)
- How To Do Monthly Problems With Your Computer
- scientific article; zbMATH DE number 2063248 (Why is no real title available?)
- Computer proofs for polynomial identities in arbitrary many variables
- Normal Forms for Coupled Takens-Bogdanov Systems
- A Proof of a Conjecture of Knuth
- The XXZ spin chain at Δ=−1/2: Bethe roots, symmetric functions, and determinants
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- Computerized proof techniques for undergraduates
- Domain decomposition preconditioning for high order hybrid discontinuous Galerkin methods on tetrahedral meshes
- Contiguous relations and creative telescoping
- Term algebras, canonical representations and difference ring theory for symbolic summation
- Orthogonal polynomial expansions for the Riemann xi function in the Hermite, Meixner-Pollaczek, and continuous Hahn bases
- Modern results in the spectral analysis for a class of integral-difference operators and application to physical processes
- Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
- Creative telescoping for holonomic functions
- Simplifying multiple sums in difference fields
- Three interactions of holes in two dimensional dimer systems
- COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Deconstructing the Zeilberger algorithm†
- The Abel Lemma and the q-Gosper Algorithm
- Reasoning Algebraically About P-Solvable Loops
- Asymptotics of the L^2 norm of derivatives of OPUC
- Human and constructive proof of combinatorial identities: an example from Romik
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- scientific article; zbMATH DE number 7663611 (Why is no real title available?)
- Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus in the centre
- The log-concavity of Kazhdan-Lusztig polynomials of thagomizer matroids
- Interview with Peter Paule
- Towards counting paths in lattice path models with filter restrictions and long steps
- On two-term hypergeometric recursions with free lower parameters
- Parameterized telescoping proves algebraic independence of sums
- The role of derivations in the nilpotence and semisimplicity of Lie triple systems
- On the log-concavity of the \(n\)-th root of sequences
- Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
- Creative telescoping for hypergeometric double sums
- Separability problems in creative telescoping
- On the positivity of the Gillis-Reznick-Zeilberger rational function
- Asymptotics for the reciprocal and shifted quotient of the partition function
- Wilf-Zeilberger seeds and non-trivial hypergeometric identities
- Multiple zeta values, WZ-pairs and infinite sums computations
- Criteria for smoothness of positroid varieties via pattern avoidance, Johnson graphs, and spirographs
- Error bounds for the asymptotic expansion of the partition function
- Computing the complexity for Schelling segregation models
- Some determinants in the semi-stable Langlands program
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- A class of permutation binomials over finite fields
- Enumeration of coalescent histories for caterpillar species trees and \(p\)-pseudocaterpillar gene trees
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Directed projection functions of convex bodies
- Padé approximations to the logarithm. III: Alternative methods and additional results
- Rational solutions of ordinary difference equations
This page was built for publication: A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918487)
