Rational function certification of multisum/integral/“𝑞” identities
Laguerre polynomialsrecurrence relationspecial functionsidentitieshypergeometricholonomic\(q\)-hypergeometric identities\(q\)-sums
Classical hypergeometric functions, ({}_2F_1) (33C05) Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) (q)-calculus and related topics (05A30) Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Additive difference equations (39A10) Binomial coefficients; factorials; (q)-identities (11B65) Other special functions (33E99)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Rational Functions Certify Combinatorial Identities
- Algorithms for \(m\)-fold hypergeometric summation
- Proving hypergeometric identities by numerical verifications
- Towards computerized proofs of identities
- scientific article; zbMATH DE number 3150170 (Why is no real title available?)
- scientific article; zbMATH DE number 3863130 (Why is no real title available?)
- scientific article; zbMATH DE number 3955412 (Why is no real title available?)
- scientific article; zbMATH DE number 3957116 (Why is no real title available?)
- scientific article; zbMATH DE number 48233 (Why is no real title available?)
- scientific article; zbMATH DE number 3467565 (Why is no real title available?)
- scientific article; zbMATH DE number 3621859 (Why is no real title available?)
- A q-Beta Integral Associated with $BC_1 $
- A fast algorithm for proving terminating hypergeometric identities
- A generalization of Selberg’s beta integral
- A holonomic systems approach to special functions identities
- A proof of the Bieberbach conjecture
- Algorithms for the Solution of Systems of Linear Diophantine Equations
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Generalized Euler integrals and A-hypergeometric functions
- Macdonald’s constant term conjectures for exceptional root systems
- Rational Functions Certify Combinatorial Identities
- Some generalized hypergeometric polynomials
- The method of creative telescoping
- The method of differentiating under the integral sign
- Towards computerized proofs of identities
- Some variations of a ‘divergent’ Ramanujan-type q-supercongruence
- How to generate all possible rational Wilf-Zeilberger pairs?
- A \(q\)-analogue of the (J.2) supercongruence of van Hamme
- A q-analogue of a curious supercongruence of Guillera and Zudilin
- Proof of conjectures of Sun on double basic hypergeometric sums
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Computer-assisted proofs of special function identities related to Poisson integrals
- On the existence of telescopers for mixed hypergeometric terms
- A characterization of inverse relations.
- Telescopers for differential forms with one parameter
- Binomial identities -- combinatorial and algorithmic aspects
- A \(q\)-analogue of the (L.2) supercongruence of van Hamme
- Linear differential equations as a data structure
- \(q\)-analogues of some supercongruences related to Euler numbers
- Rational Functions Certify Combinatorial Identities
This page was built for publication: Rational function certification of multisum/integral/“𝑞” identities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016745)
