Towards computerized proofs of identities
From MaRDI portal
Publication:5749295
DOI10.1090/S0273-0979-1990-15904-XzbMath0718.05010OpenAlexW2016653984MaRDI QIDQ5749295
Herbert S. Wilf, Doron Zeilberger
Publication date: 1990
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0273-0979-1990-15904-x
Related Items
Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases, Rational function certification of multisum/integral/“𝑞” identities, Automated conjecturing. III. Property-relations conjectures, Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited, On two double series for \(\pi\) and their \(q\)-analogues, Residues and telescopers for bivariate rational functions, A holonomic systems approach to special functions identities, The method of creative telescoping, Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms, Identities in search of identity, Sequences of non-Gegenbauer-Humbert polynomials meet the generalized Gegenbauer-Humbert polynomials, The method of differentiating under the integral sign, The \(q\)-WZ method for infinite series, An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A purely verification proof of the first Rogers-Ramanujan identity
- Resurrecting the asymptotics of linear recurrences
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
- Rational Functions Certify Combinatorial Identities
- On the parallel Risch Algorithm (II)
- Strange Evaluations of Hypergeometric Series
- Applications of Basic Hypergeometric Functions
- Decision procedure for indefinite hypergeometric summation
- The solution of the problem of integration in finite terms
