Towards computerized proofs of identities
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 434742
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- A fast algorithm for proving terminating hypergeometric identities. (Reprint)
- Three recitations on holonomic systems and hypergeometric series
- A fast algorithm for proving terminating hypergeometric identities
Cites work
- A holonomic systems approach to special functions identities
- A purely verification proof of the first Rogers-Ramanujan identity
- Applications of Basic Hypergeometric Functions
- Decision procedure for indefinite hypergeometric summation
- scientific article; zbMATH DE number 3150170 (Why is no real title available?)
- 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?)
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
- On the parallel Risch Algorithm (II)
- Rational Functions Certify Combinatorial Identities
- Resurrecting the asymptotics of linear recurrences
- Strange Evaluations of Hypergeometric Series
- The method of creative telescoping
- The solution of the problem of integration in finite terms
Cited in
(27)- The \(q\)-WZ method for infinite series
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Computer proofs of a new family of harmonic number identities.
- Automated conjecturing. III. Property-relations conjectures
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
- A computer proof of a series evaluation in terms of harmonic numbers
- Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases
- On two double series for \(\pi\) and their \(q\)-analogues
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
- scientific article; zbMATH DE number 434742 (Why is no real title available?)
- scientific article; zbMATH DE number 5778105 (Why is no real title available?)
- Rational function certification of multisum/integral/“𝑞” identities
- Curing the andrews syndrome
- Residues and telescopers for bivariate rational functions
- scientific article; zbMATH DE number 1504629 (Why is no real title available?)
- Computer proofs for polynomial identities in arbitrary many variables
- scientific article; zbMATH DE number 2161047 (Why is no real title available?)
- COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES
- Sequences of non-Gegenbauer-Humbert polynomials meet the generalized Gegenbauer-Humbert polynomials
- Three recitations on holonomic systems and hypergeometric series
- Hypergeometric-type sequences
- Identities in search of identity
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
- A fast algorithm for proving terminating hypergeometric identities
This page was built for publication: Towards computerized proofs of identities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5749295)
