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

@@ Property / DOI @@
-.1016/j.jsc.2018.06.003
@@ Property / DOI: 10.1016/j.jsc.2018.06.003 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q123328161
@@ Property / Wikidata QID: Q123328161 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2807666295
@@ Property / OpenAlex ID: W2807666295 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04840
@@ Property / arXiv ID: 1507.04840 / 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 @@
+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
@@ Property / DOI @@
+.1016/J.JSC.2018.06.003
@@ Property / DOI: 10.1016/J.JSC.2018.06.003 / rank @@
+Normal rank