A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
From MaRDI portal
Publication:1918487
DOI10.1006/jsco.1995.1071zbMath0851.68052OpenAlexW2004886290MaRDI QIDQ1918487
Publication date: 18 July 1996
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1995.1071
Related Items
Enumeration of coalescent histories for caterpillar species trees and \(p\)-pseudocaterpillar gene trees, Self-organization of knowledge economies, Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Telescoping in the context of symbolic summation in Maple, Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures, COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES, Multiple binomial sums, Solving parameterized linear difference equations in terms of indefinite nested sums and products, Deconstructing the Zeilberger algorithm†, \textit{Theorema}: Towards computer-aided mathematical theory exploration, Directed projection functions of convex bodies, The XXZ spin chain at Δ=−1/2: Bethe roots, symmetric functions, and determinants, Kazhdan-Lusztig polynomials of fan matroids, wheel matroids, and whirl matroids, Padé approximations to the logarithm. III: Alternative methods and additional results, Pattern avoidance in ordered set partitions and words, \(q\)-hypergeometric solutions of \(q\)-difference equations, The log-concavity of Kazhdan-Lusztig polynomials of thagomizer matroids, A direct algorithm to construct the minimal \(Z\)-pairs for rational functions., Interview with Peter Paule, Trading order for degree in creative telescoping, Towards counting paths in lattice path models with filter restrictions and long steps, A symbolic summation approach to Feynman integral calculus, Modern results in the spectral analysis for a class of integral-difference operators and application to physical processes, Inequalities for the modified Bessel function of first kind of non-negative order, Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, 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, Aligator: A Mathematica Package for Invariant Generation (System Description), Parameterized telescoping proves algebraic independence of sums, 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, Spectral theorem for the Lindblad equation for quadratic open fermionic systems, The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval, Computerized proof techniques for undergraduates, On the positivity of the Gillis-Reznick-Zeilberger rational function, Holey matrimony: marrying two approaches to a tiling problem, Rational solutions of ordinary difference equations, Domain Decomposition Preconditioning for High Order Hybrid Discontinuous Galerkin Methods on Tetrahedral Meshes, Three interactions of holes in two dimensional dimer systems, Normal Forms for Coupled Takens-Bogdanov Systems, A new Sigma approach to multi-summation, Asymptotics of the \(L^2\) norm of derivatives of OPUC, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, Computing the complexity for Schelling segregation models, Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus in the centre, Rationality of the Möbius function of a composition poset, The Abel Lemma and the $q$-Gosper Algorithm, Reasoning Algebraically About P-Solvable Loops, A class of permutation binomials over finite fields, 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, A Proof of a Conjecture of Knuth, fastZeil, Fully Packed Loop Models on Finite Geometries, The number of centered lozenge tilings of a symmetric hexagon, A Mathematica package for \(q\)-holonomic sequences and power series, Computer-assisted proofs of special function identities related to Poisson integrals, Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order, Creative Telescoping for Holonomic Functions, Simplifying Multiple Sums in Difference Fields, On the order of the recurrence produced by the method of creative telescoping, Loops, matchings and alternating-sign matrices, The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II, Covering all but the low weight vertices of the unit cube, A case study for \(\zeta (4)\), Contiguous Relations and Creative Telescoping, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals, Orthogonal polynomial expansions for the Riemann xi function in the Hermite, Meixner--Pollaczek, and continuous Hahn bases
Uses Software
