Rational Functions Certify Combinatorial Identities
From MaRDI portal
Recommendations
Cites work
- A 21st century proof of Dougall's hypergeometric sum identity
- A fast algorithm for proving terminating hypergeometric identities
- A holonomic systems approach to special functions identities
- A very short proof of Dixon's theorem
- Applications of Basic Hypergeometric Functions
- Applications of q-Lagrange Inversion to Basic Hypergeometric Series
- Decision procedure for indefinite hypergeometric summation
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- scientific article; zbMATH DE number 3016223 (Why is no real title available?)
- scientific article; zbMATH DE number 3380631 (Why is no real title available?)
- Short Proofs of Two Hypergeometric Summation Formulas of Karlsson
- Strange Evaluations of Hypergeometric Series
- The method of creative telescoping
Cited in
(95)- Bilateral Bailey lemma and Rogers-Ramanujan identities
- The \(q\)-WZ method for infinite series
- Rogers-Ramanujan computer searches
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- A short proof of a `strange' combinatorial identity conjectured by Gosper
- Plane partitions. V: The TSSCPP conjecture
- Some questions concerning computer-generated proofs of a binomial double- sum identity
- A probabilistic proof of Gauss' \(_ 2F_ 1\) identity
- Riordan arrays and combinatorial sums
- The death of proof? Semi-rigorous mathematics? You've got to be kidding!
- \(q\)-hypergeometric solutions of \(q\)-difference equations
- Automatic generation of hypergeometric identities by the beta integral method.
- Inversion techniques and combinatorial identities: Balanced hypergeometric series.
- Pfaff's method. I: The Mills-Robbins-Rumsey determinant.
- Combinatorics of second derivative: graphical proof of Glaisher-Crofton identity
- Dougall's \(_5F_4\) sum and the WZ algorithm
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
- Finding more divisibility properties of binomial sums via the WZ method
- Markov's transformation of series and the WZ method
- Some summation rules related to the Riordan arrays
- On the structure of multivariate hypergeometric terms.
- Some binomial series obtained by the WZ-method
- Pfaff's method. II: Diverse applications
- On the interplay between hypergeometric series, Fourier-Legendre expansions and Euler sums
- Sums of powers of Catalan triangle numbers
- Alternating convolutions of Catalan numbers
- On differentially algebraic generating series for walks in the quarter plane
- Shimura's vector-valued modular forms, weight changing operators, and Laplacians
- Some open problems related to creative telescoping
- A symmetric generalization of an identity of Andrews and Yee
- A family of WZ pairs and \(q\)-identities
- Hypergeometric identities for 10 extended Ramanujan-type series
- A fast algorithm for proving terminating hypergeometric identities. (Reprint)
- Current trends in asymptotics: Some problems and some solutions
- Combinatorial identities and hypergeometric functions
- Combinatorial identities from contour integrals of rational functions
- A generating functions proof of a curious identity
- Accelerating Dougall's \(_{5}F_{4}\)-sum and infinite series involving \(\pi\)
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
- Partial fraction expansions and a question of Bruckman
- scientific article; zbMATH DE number 4135946 (Why is no real title available?)
- What is \dots a Wilf-Zeilberger pair?
- A new approach for proving or generating combinatorial identities
- More hypergeometric identities related to Ramanujan-type series
- Rational function certification of multisum/integral/“𝑞” identities
- A new Ramanujan-like series for \(1/\pi ^{2}\)
- A pretty binomial identity
- scientific article; zbMATH DE number 1058048 (Why is no real title available?)
- Linear maps preserving orbits
- Residues and telescopers for bivariate rational functions
- scientific article; zbMATH DE number 1545001 (Why is no real title available?)
- On some divisibility properties of binomial sums
- Variations on a hypergeometric theme
- On some supercongruences concerning truncated hypergeometric series
- A Proof of a Conjecture of Knuth
- On the divisibility properties of certain binomial sums
- Karhunen-Loève expansions for the \(m\)-th order detrended Brownian motion
- Convolution identities involving the central binomial coefficients and Catalan numbers
- Contiguous relations and creative telescoping
- Orthogonal polynomial expansions for the Riemann xi function in the Hermite, Meixner-Pollaczek, and continuous Hahn bases
- Mahler measure and the WZ algorithm
- COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES
- Human and constructive proof of combinatorial identities: an example from Romik
- Formal residue and computer-assisted proofs of combinatorial identities
- Towards computerized proofs of identities
- scientific article; zbMATH DE number 7487982 (Why is no real title available?)
- Further WZ-based methods for proving and generalizing Ramanujan's series
- Poincaré series and Eichler integrals
- WZ proofs of identities from Chu and Kılıç, with applications
- Towards counting paths in lattice path models with filter restrictions and long steps
- Rademacher-type formulas for restricted partition and overpartition functions
- Telescopers for differential forms with one parameter
- Series evaluation of a quartic integral
- Recurrence-Driven Summations in Automated Deduction
- On Dirichlet eigenvalues of regular polygons
- Combinatorial identities and hypergeometric functions. II
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
- Notes on certain binomial harmonic sums of Sun's type
- Lambert series and double Lambert series
- Supercongruence conjectured by Z.-W. Sun and the WZ method
- Some supercongruences of hypergeometric sums and the WZ method
- Identities in search of identity
- 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
- q-analogues of -formulas due to Ramanujan and Guillera
- Finding congruences with the WZ method
- (Strange) gamma evaluations
- The WZ method and flawless WZ pairs
- Title not available (Why is no real title available?)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Generators of some Ramanujan formulas
- A fast algorithm for proving terminating hypergeometric identities
- Moments of combinatorial and Catalan numbers
- On WZ-pairs which prove Ramanujan series
- Proving hypergeometric identities by numerical verifications
This page was built for publication: Rational Functions Certify Combinatorial Identities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3470469)
