Pages that link to "Item:Q1918487"
From MaRDI portal
The following pages link to A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities (Q1918487):
Displaying 50 items.
- fastZeil (Q26179) (← links)
- Multiple binomial sums (Q346550) (← links)
- Trading order for degree in creative telescoping (Q414630) (← links)
- A symbolic summation approach to Feynman integral calculus (Q432757) (← links)
- Three interactions of holes in two dimensional dimer systems (Q528997) (← links)
- Asymptotics of the \(L^2\) norm of derivatives of OPUC (Q547879) (← links)
- Parameterized telescoping proves algebraic independence of sums (Q659607) (← links)
- On the positivity of the Gillis-Reznick-Zeilberger rational function (Q670644) (← links)
- Computing the complexity for Schelling segregation models (Q718797) (← links)
- A class of permutation binomials over finite fields (Q740895) (← links)
- Enumeration of coalescent histories for caterpillar species trees and \(p\)-pseudocaterpillar gene trees (Q820935) (← links)
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation (Q850522) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Directed projection functions of convex bodies (Q867141) (← links)
- Padé approximations to the logarithm. III: Alternative methods and additional results (Q874896) (← links)
- Rational solutions of ordinary difference equations (Q950423) (← links)
- A Mathematica package for \(q\)-holonomic sequences and power series (Q1037558) (← links)
- Computer-assisted proofs of special function identities related to Poisson integrals (Q1037567) (← links)
- The number of centered lozenge tilings of a symmetric hexagon (Q1284471) (← links)
- Some questions concerning computer-generated proofs of a binomial double- sum identity (Q1332649) (← links)
- \(q\)-hypergeometric solutions of \(q\)-difference equations (Q1381810) (← links)
- A direct algorithm to construct the minimal \(Z\)-pairs for rational functions. (Q1398291) (← links)
- The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II (Q1580673) (← links)
- Self-organization of knowledge economies (Q1624041) (← links)
- Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures (Q1654047) (← links)
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects (Q1711991) (← links)
- Holey matrimony: marrying two approaches to a tiling problem (Q1745118) (← links)
- RComp: A \textit{Mathematica} package for computing with recursive sequences (Q1918491) (← links)
- Covering all but the low weight vertices of the unit cube (Q2084983) (← links)
- A case study for \(\zeta (4)\) (Q2097085) (← links)
- Kazhdan-Lusztig polynomials of fan matroids, wheel matroids, and whirl matroids (Q2169826) (← links)
- Hypergeometric representations and differential-difference relations for some kernels appearing in mathematical physics (Q2216935) (← links)
- Minimal representations and algebraic relations for single nested products (Q2217201) (← links)
- The Kazhdan-Lusztig polynomials of uniform matroids (Q2221780) (← links)
- Rational solutions of first-order algebraic ordinary difference equations (Q2307436) (← links)
- Pattern avoidance in ordered set partitions and words (Q2406542) (← links)
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms (Q2456541) (← links)
- SumCracker: A package for manipulating symbolic sums and related objects (Q2457385) (← links)
- Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials (Q2457943) (← links)
- A new Sigma approach to multi-summation (Q2483910) (← links)
- Rationality of the Möbius function of a composition poset (Q2503301) (← links)
- On the order of the recurrence produced by the method of creative telescoping (Q2566273) (← links)
- Loops, matchings and alternating-sign matrices (Q2566291) (← links)
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm (Q2628258) (← links)
- Telescoping in the context of symbolic summation in Maple (Q2643565) (← links)
- Inequalities for the modified Bessel function of first kind of non-negative order (Q2695992) (← links)
- The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval (Q2729378) (← links)
- Spectral theorem for the Lindblad equation for quadratic open fermionic systems (Q3301169) (← links)
- A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind (Q3387107) (← links)
- Evaluation of Binomial Double Sums Involving Absolute Values (Q3387114) (← links)
