Pages that link to "Item:Q3470469"
From MaRDI portal
The following pages link to Rational Functions Certify Combinatorial Identities (Q3470469):
Displayed 26 items.
- Identities in search of identity (Q688676) (← links)
- A short, elementary, and easy, WZ proof of the Askey-Gasper inequality that was used by de Branges in his proof of the Bieberbach conjecture (Q688698) (← links)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
- Generators of some Ramanujan formulas (Q850514) (← links)
- A fast algorithm for proving terminating hypergeometric identities (Q913796) (← links)
- A holonomic systems approach to special functions identities (Q1173698) (← links)
- The method of creative telescoping (Q1176785) (← links)
- A short proof of a `strange' combinatorial identity conjectured by Gosper (Q1179269) (← links)
- Plane partitions. V: The TSSCPP conjecture (Q1323828) (← links)
- A probabilistic proof of Gauss' \(_ 2F_ 1\) identity (Q1336449) (← links)
- Riordan arrays and combinatorial sums (Q1336667) (← links)
- The death of proof? Semi-rigorous mathematics? You've got to be kidding! (Q1343656) (← links)
- \(q\)-hypergeometric solutions of \(q\)-difference equations (Q1381810) (← links)
- Automatic generation of hypergeometric identities by the beta integral method. (Q1414338) (← links)
- Inversion techniques and combinatorial identities: Balanced hypergeometric series. (Q1415037) (← links)
- Pfaff's method. I: The Mills-Robbins-Rumsey determinant. (Q1584472) (← links)
- Markov's transformation of series and the WZ method (Q1775746) (← links)
- Some summation rules related to the Riordan arrays (Q1827721) (← links)
- On the structure of multivariate hypergeometric terms. (Q1866177) (← links)
- Some binomial series obtained by the WZ-method (Q1867015) (← links)
- Pfaff's method. II: Diverse applications (Q1919440) (← links)
- Hypergeometric identities for 10 extended Ramanujan-type series (Q2426720) (← links)
- A fast algorithm for proving terminating hypergeometric identities. (Reprint) (Q2498005) (← links)
- Current trends in asymptotics: Some problems and some solutions (Q2644883) (← links)
- Rational function certification of multisum/integral/“𝑞” identities (Q4016745) (← links)
- Towards computerized proofs of identities (Q5749295) (← links)