A fast algorithm for proving terminating hypergeometric identities
- 1 March 1990
- journal article
- research article
- Published by Elsevier in Discrete Mathematics
- Vol. 80 (2) , 207-211
- https://doi.org/10.1016/0012-365x(90)90120-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Rational functions certify combinatorial identitiesJournal of the American Mathematical Society, 1990
- How the Grinch Stole MathematicsScience, 1989
- A proof of Andrews' q-Dyson conjectureDiscrete Mathematics, 1985
- Strange Evaluations of Hypergeometric SeriesSIAM Journal on Mathematical Analysis, 1982
- A proof that Euler missed ...The Mathematical Intelligencer, 1979
- Decision procedure for indefinite hypergeometric summationProceedings of the National Academy of Sciences, 1978
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficientsFunctional Analysis and Its Applications, 1971