Rational Functions Certify Combinatorial Identities

05A10: Factorials, binomial coefficients, combinatorial functions

05A19: Combinatorial identities, bijective combinatorics

Related Items

Towards computerized proofs of identities, 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, 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, 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, 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., 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, 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, Rational function certification of multisum/integral/“𝑞” identities

Cites Work