scientific article; zbMATH DE number 434742

zbMATH Open0796.33014MaRDI QIDQ3139575FDOQ3139575

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Doron Zeilberger

Mathematics Subject Classification ID

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

Cited In (25)

• Three recitations on holonomic systems and hypergeometric series
• A fast algorithm for proving terminating hypergeometric identities. (Reprint)
• Title not available (Why is that?)
• \(k\)-free recurrences of double hypergeometric terms
• Title not available (Why is that?)
• Quasi-holonomic modules in positive characteristic
• Computer proofs of a new family of harmonic number identities.
• Automatic proofs and counterexamples for some ortholattice identities
• Towards computerized proofs of identities
• Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
• A procedure for generating infinite series identities
• Title not available (Why is that?)
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• The colored Jones function is \(q\)-holonomic
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Zeilberger's algorithm and its \(q\)-analogue
• Binomial identities -- combinatorial and algorithmic aspects
• Creative Telescoping for Holonomic Functions
• Linear differential equations as a data structure
• A fast algorithm for proving terminating hypergeometric identities
• Title not available (Why is that?)
• Automatic generation of hypergeometric identities by the beta integral method.
• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Rational Functions Certify Combinatorial Identities

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)