Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms (Q2456541): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2004.10.002
@@ Property / DOI: 10.1016/j.jsc.2004.10.002 / rank @@
-Normal rank
@@ Property / cites work @@
+When does Zeilberger's algorithm succeed?
@@ Property / cites work: When does Zeilberger's algorithm succeed? / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedure for indefinite hypergeometric summation
+Normal rank
@@ Property / cites work @@
+Q4382877
@@ Property / cites work: Q4382877 / rank @@
+Normal rank
@@ Property / cites work @@
+On Zeilberger's algorithm and its \(q\)-analogue
@@ Property / cites work: On Zeilberger's algorithm and its \(q\)-analogue / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341407
@@ Property / cites work: Q4341407 / rank @@
+Normal rank
@@ Property / cites work @@
+A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
+Normal rank
@@ Property / cites work @@
+Q4875364
@@ Property / cites work: Q4875364 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities
+Normal rank
@@ Property / cites work @@
+A fast algorithm for proving terminating hypergeometric identities
+Normal rank
@@ Property / cites work @@
+The method of creative telescoping
@@ Property / cites work: The method of creative telescoping / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2004.10.002
@@ Property / DOI: 10.1016/J.JSC.2004.10.002 / rank @@
+Normal rank