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