Pages that link to "Item:Q811594"

The following pages link to An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594):

Displayed 47 items.

• Well-poised hypergeometric series for Diophantine problems of zeta values (Q558151) ‎ (← links)
• A computer proof of a polynomial identity implying a partition theorem of Göllnitz (Q696795) ‎ (← links)
• Eliminations in Weyl algebras and identities. (Q817239) ‎ (← links)
• Disturbing the Dyson conjecture, in a generally GOOD way (Q855832) ‎ (← links)
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory (Q863306) ‎ (← links)
• The Cauchy operator for basic hypergeometric series (Q931835) ‎ (← links)
• Converging to Gosper's algorithm (Q950412) ‎ (← links)
• An Ansatz for the asymptotics of hypergeometric multisums (Q950417) ‎ (← links)
• Parameter augmentation and the \(q\)-Gosper algorithm (Q999087) ‎ (← links)
• Hypergeometric solutions of linear recurrences with polynomial coefficients (Q1199820) ‎ (← links)
• Binomial identities -- combinatorial and algorithmic aspects (Q1344624) ‎ (← links)
• Parameter augmentation for basic hypergeometric series. II (Q1374181) ‎ (← links)
• A two-line algorithm for proving \(q\)-hypergeometric identities (Q1378409) ‎ (← links)
• \(q\)-hypergeometric solutions of \(q\)-difference equations (Q1381810) ‎ (← links)
• A direct algorithm to construct the minimal \(Z\)-pairs for rational functions. (Q1398291) ‎ (← links)
• A new elementary algorithm for proving \(q\)-hypergeometric identities (Q1401154) ‎ (← links)
• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities (Q1401158) ‎ (← links)
• When does Zeilberger's algorithm succeed? (Q1408263) ‎ (← links)
• Center conditions. II: Parametric and model center problems (Q1580498) ‎ (← links)
• A manifesto for the computational method (Q1603721) ‎ (← links)
• Markov's transformation of series and the WZ method (Q1775746) ‎ (← links)
• Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity (Q1841819) ‎ (← links)
• MultInt, a MAPLE package for multiple integration by the WZ method (Q1864891) ‎ (← links)
• On the structure of multivariate hypergeometric terms. (Q1866177) ‎ (← links)
• \(k\)-free recurrences of double hypergeometric terms (Q1883403) ‎ (← links)
• Algorithms for \(q\)-hypergeometric summation in computer algebra (Q1971738) ‎ (← links)
• Multibasic and mixed hypergeometric Gosper-type algorithms (Q1974697) ‎ (← links)
• The colored Jones function is \(q\)-holonomic (Q2388869) ‎ (← links)
• Applicability of the \(q\)-analogue of Zeilberger's algorithm (Q2456539) ‎ (← links)
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms (Q2456541) ‎ (← links)
• Summation algorithms for Stirling number identities (Q2469233) ‎ (← links)
• A new Sigma approach to multi-summation (Q2483910) ‎ (← links)
• A telescoping method for double summations (Q2503028) ‎ (← links)
• On the order of the recurrence produced by the method of creative telescoping (Q2566273) ‎ (← links)
• Experimental evidence for the Volume Conjecture for the simplest hyperbolic non-2-bridge knot (Q2571350) ‎ (← links)
• Advanced determinant calculus: a complement (Q2575011) ‎ (← links)
• Telescoping in the context of symbolic summation in Maple (Q2643565) ‎ (← links)
• DIFFERENCE AND DIFFERENTIAL EQUATIONS FOR THE COLORED JONES FUNCTION (Q3519640) ‎ (← links)
• Gevrey series in quantum topology (Q3524809) ‎ (← links)
• The quasi-holonomic ansatz and restricted lattice walks (Q3534870) ‎ (← links)
• Rational function certification of multisum/integral/“𝑞” identities (Q4016745) ‎ (← links)
• A new proof of the M-R-R conjecture-including a generalization (Q4700078) ‎ (← links)
• WZ-style certification and sister celine's technique for abel-type sums (Q4890083) ‎ (← links)
• A Computer Proof of Moll’s Log-Concavity Conjecture (Q5423939) ‎ (← links)
• The Abel Lemma and the $q$-Gosper Algorithm (Q5444318) ‎ (← links)
• The \(C\)-polynomial of a knot (Q5898344) ‎ (← links)
• Some arithmetical restatements of the four color conjecture (Q5941259) ‎ (← links)