Pages that link to "Item:Q913796"
From MaRDI portal
The following pages link to A fast algorithm for proving terminating hypergeometric identities (Q913796):
Displaying 50 items.
- Invariance of bipartite separability and PPT-probabilities over Casimir invariants of reduced states (Q331422) (← links)
- Irreducibility of \(q\)-difference operators and the knot \(7_{4}\) (Q373635) (← links)
- Trading order for degree in creative telescoping (Q414630) (← links)
- A symbolic summation approach to Feynman integral calculus (Q432757) (← links)
- Generalization of a quadratic transformation formula due to Gauss (Q456573) (← links)
- Time-dependent solutions of the spatially implicit neutral model of biodiversity (Q462417) (← links)
- On the existence of telescopers for mixed hypergeometric terms (Q480640) (← links)
- Asymptotics of the \(L^2\) norm of derivatives of OPUC (Q547879) (← links)
- Rademacher-type formulas for restricted partition and overpartition functions (Q618846) (← links)
- On the positivity of the Gillis-Reznick-Zeilberger rational function (Q670644) (← links)
- Identities in search of identity (Q688676) (← links)
- Report from the open problems session at OPSFA13 (Q739883) (← links)
- How likely is Polya's drunkard to stay in \(x\geq y\geq z\)? (Q751052) (← links)
- The method of differentiating under the integral sign (Q754021) (← links)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
- Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields (Q814893) (← links)
- Efficient rational creative telescoping (Q820942) (← links)
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation (Q850522) (← links)
- Disturbing the Dyson conjecture, in a generally GOOD way (Q855832) (← links)
- Padé approximations to the logarithm. III: Alternative methods and additional results (Q874896) (← links)
- Converging to Gosper's algorithm (Q950412) (← links)
- On recurrences for Ising integrals (Q990763) (← links)
- The \(q\)-WZ method for infinite series (Q1023261) (← links)
- Rogers-Ramanujan computer searches (Q1023270) (← links)
- Computer-assisted proofs of special function identities related to Poisson integrals (Q1037567) (← links)
- A holonomic systems approach to special functions identities (Q1173698) (← links)
- The method of creative telescoping (Q1176785) (← links)
- The number of centered lozenge tilings of a symmetric hexagon (Q1284471) (← links)
- On Zeilberger's algorithm and its \(q\)-analogue (Q1318445) (← links)
- Riordan arrays and combinatorial sums (Q1336667) (← links)
- Binomial identities -- combinatorial and algorithmic aspects (Q1344624) (← links)
- \(q\)-hypergeometric solutions of \(q\)-difference equations (Q1381810) (← links)
- Representations of orthogonal polynomials (Q1392783) (← links)
- (--1)-enumeration of plane partitions with complementation symmetry (Q1398286) (← links)
- \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities (Q1401158) (← links)
- Computer proofs of a new family of harmonic number identities. (Q1415382) (← links)
- The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II (Q1580673) (← links)
- Formulas for generalized two-qubit separability probabilities (Q1629353) (← links)
- The dimensional recurrence and analyticity method for multicomponent master integrals: using unitarity cuts to construct homogeneous solutions (Q1796221) (← links)
- Some summation rules related to the Riordan arrays (Q1827721) (← links)
- MultInt, a MAPLE package for multiple integration by the WZ method (Q1864891) (← links)
- On the structure of multivariate hypergeometric terms. (Q1866177) (← links)
- Multibasic and mixed hypergeometric Gosper-type algorithms (Q1974697) (← links)
- Simultaneous bifurcation of limit cycles and critical periods (Q2064121) (← links)
- Recursions for modified Walsh transforms of some families of Boolean functions (Q2080682) (← links)
- \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\) (Q2100044) (← links)
- Convolutions of Liouvillian sequences (Q2188976) (← links)
- On the length of integers in telescopers for proper hypergeometric terms (Q2252118) (← links)
- Harmonic number identities via the Newton-Andrews method (Q2254987) (← links)
- An algorithm for deciding the summability of bivariate rational functions (Q2254998) (← links)
