Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms (Q1733306): Difference between revisions

@@ Property / cites work @@
+When does Zeilberger's algorithm succeed?
@@ Property / cites work: When does Zeilberger's algorithm succeed? / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of multivariate hypergeometric terms.
+Normal rank
@@ Property / cites work @@
+Symbolic integration I: Transcendental functions
@@ Property / cites work: Symbolic integration I: Transcendental functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336052
@@ Property / cites work: Q3336052 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of telescopers for mixed hypergeometric terms
+Normal rank
@@ Property / cites work @@
+On the structure of compatible rational functions
@@ Property / cites work: On the structure of compatible rational functions / rank @@
+Normal rank
@@ Property / cites work @@
+Applicability of the \(q\)-analogue of Zeilberger's algorithm
+Normal rank
@@ Property / cites work @@
+Q4705076
@@ Property / cites work: Q4705076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850051
@@ Property / cites work: Q4850051 / rank @@
+Normal rank
@@ Property / cites work @@
+General hypergeometric systems of equations and series of hypergeometric type
+Normal rank
@@ Property / cites work @@
+\(k\)-free recurrences of double hypergeometric terms
+Normal rank
@@ Property / cites work @@
+On the holonomic systems of linear differential equations. II
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+The diagonal of a D-finite power series is D-finite
+Normal rank
@@ Property / cites work @@
+D-finite power series
@@ Property / cites work: D-finite power series / rank @@
+Normal rank
@@ Property / cites work @@
+Multivariate Hypergeometric Terms
@@ Property / cites work: Multivariate Hypergeometric Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
+Normal rank
@@ Property / cites work @@
+An approach to the zero recognition problem by Buchberger algorithm
+Normal rank
@@ Property / cites work @@
+Rational Functions Certify Combinatorial Identities
+Normal rank
@@ Property / cites work @@
+Towards computerized proofs of identities
@@ Property / cites work: Towards computerized proofs of identities / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities
+Normal rank
@@ Property / cites work @@
+A holonomic systems approach to special functions identities
+Normal rank
@@ Property / cites work @@
+The method of creative telescoping
@@ Property / cites work: The method of creative telescoping / rank @@
+Normal rank
@@ Property / cites work @@
+The extended monodromy group and Liouvillian first integrals
+Normal rank