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