scientific article; zbMATH DE number 434742

MaRDI QIDQ3139575zbMATH OpenFDO

Authors Pierre Cartier

Publication date 21 June 1994

Full work available at URL http://www.numdam.org/item?id=SB_1991-1992__34__41_0, https://eudml.org/doc/110161, http://smf4.emath.fr/Publications/Asterisque/1992/206/html/smf_ast_206_41-91.html

zbMATH Keywords

Doron Zeilberger

Mathematics Subject Classification ID

Binomial coefficients; factorials; (q)-identities (11B65) Generalized hypergeometric series, ({}_pF_q) (33C20) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15)

Recommendations

• Towards computerized proofs of identities
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• A fast algorithm for proving terminating hypergeometric identities
• A fast algorithm for proving terminating hypergeometric identities. (Reprint)
• Finding identities with the WZ method

Cited in

(32)

• A holonomic systems approach to special functions identities
• On Zeilberger's algorithm and its \(q\)-analogue
• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Binomial identities -- combinatorial and algorithmic aspects
• Automatic generation of hypergeometric identities by the beta integral method.
• Computer proofs of a new family of harmonic number identities.
• A procedure for generating infinite series identities
• \(k\)-free recurrences of double hypergeometric terms
• Linear differential equations as a data structure
• The colored Jones function is \(q\)-holonomic
• A fast algorithm for proving terminating hypergeometric identities. (Reprint)
• Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
• Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
• Automatic proofs and counterexamples for some ortholattice identities
• scientific article; zbMATH DE number 434841 (Why is no real title available?)
• Rational Functions Certify Combinatorial Identities
• scientific article; zbMATH DE number 123710 (Why is no real title available?)
• Curing the andrews syndrome
• scientific article; zbMATH DE number 1058048 (Why is no real title available?)
• scientific article; zbMATH DE number 2063248 (Why is no real title available?)
• scientific article; zbMATH DE number 1545001 (Why is no real title available?)
• Sister Celine's algorithm
• scientific article; zbMATH DE number 2161047 (Why is no real title available?)
• Creative telescoping for holonomic functions
• Revitalized automatic proofs: demonstrations
• Towards computerized proofs of identities
• scientific article; zbMATH DE number 7663611 (Why is no real title available?)
• Three recitations on holonomic systems and hypergeometric series
• Recurrence-Driven Summations in Automated Deduction
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Quasi-holonomic modules in positive characteristic
• A fast algorithm for proving terminating hypergeometric identities

Describes a project that uses

Uses Software

• Maple

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3139575)