A fast algorithm for proving terminating hypergeometric identities (Q913796): Difference between revisions

This is a very brief description of an algorithm developed by the author for verifying identities for terminating hypergeometric series. A fuller account of this procedure with examples of its use to both prove and discover such identities can be found in ``WZ pairs certify combinatorial identities'' (preprint) by Herbert Wilf and Doron Zeilberger.''

0 references

Mathematics Subject Classification ID

33F10

0 references

0 references

0 references

0 references

algorithm

0 references

identities

0 references

terminating hypergeometric series

0 references

reviewed by

David M. Bressoud

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q3724706

0 references

Ramanujan and hypergeometric and basic hypergeometric series

0 references

Q4760447

0 references

Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients

0 references

Q3964695

0 references

Combinatorial problems of commutation and rearrangements

0 references

An Indefinite Bibasic Summation Formula and Some Quadratic, Cubic and Quartic Summation and Transformation Formulas

0 references

Strange Evaluations of Hypergeometric Series

0 references

Decision procedure for indefinite hypergeometric summation

0 references

A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report

0 references

Generating Functions for Bessel and Related Polynomials

0 references

Q5798024

0 references

Rational Functions Certify Combinatorial Identities

0 references

A holonomic systems approach to special functions identities

0 references

A proof of Andrews' \(q\)-Dyson conjecture

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:913796

@@ Property / reviewed by @@
-David M. Bressoud
@@ Property / reviewed by: David M. Bressoud / rank @@
-Normal rank
@@ Property / reviewed by @@
+David M. Bressoud
@@ Property / reviewed by: David M. Bressoud / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3724706
@@ Property / cites work: Q3724706 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramanujan and hypergeometric and basic hypergeometric series
+Normal rank
@@ Property / cites work @@
+Q4760447
@@ Property / cites work: Q4760447 / rank @@
+Normal rank
@@ Property / cites work @@
+Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
+Normal rank
@@ Property / cites work @@
+Q3964695
@@ Property / cites work: Q3964695 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial problems of commutation and rearrangements
+Normal rank
@@ Property / cites work @@
+An Indefinite Bibasic Summation Formula and Some Quadratic, Cubic and Quartic Summation and Transformation Formulas
+Normal rank
@@ Property / cites work @@
+Strange Evaluations of Hypergeometric Series
@@ Property / cites work: Strange Evaluations of Hypergeometric Series / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedure for indefinite hypergeometric summation
+Normal rank
@@ Property / cites work @@
+A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
+Normal rank
@@ Property / cites work @@
+Generating Functions for Bessel and Related                         Polynomials
+Normal rank
@@ Property / cites work @@
+Q5798024
@@ Property / cites work: Q5798024 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Functions Certify Combinatorial Identities
+Normal rank
@@ Property / cites work @@
+A holonomic systems approach to special functions identities
+Normal rank
@@ Property / cites work @@
+A proof of Andrews' \(q\)-Dyson conjecture
@@ Property / cites work: A proof of Andrews' \(q\)-Dyson conjecture / rank @@
+Normal rank