Trading order for degree in creative telescoping (Q414630): Difference between revisions

@@ Property / describes a project that uses @@
+ZEILBERGER
@@ Property / describes a project that uses: ZEILBERGER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+qZEILBERGER
@@ Property / describes a project that uses: qZEILBERGER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DEtools
@@ Property / describes a project that uses: DEtools / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2115861986
@@ Property / OpenAlex ID: W2115861986 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4508
@@ Property / arXiv ID: 1108.4508 / rank @@
+Normal rank
@@ Property / cites work @@
+Telescoping in the context of symbolic summation in Maple
+Normal rank
@@ Property / cites work @@
+The method of differentiating under the integral sign
+Normal rank
@@ Property / cites work @@
+Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for the Fast Computation of Matrix-Type Padé Approximants
+Normal rank
@@ Property / cites work @@
+Complexity of creative telescoping for bivariate rational functions
+Normal rank
@@ Property / cites work @@
+Q5301646
@@ Property / cites work: Q5301646 / rank @@
+Normal rank
@@ Property / cites work @@
+Picard--Vessiot extensions for linear functional systems
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Q4705076
@@ Property / cites work: Q4705076 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of Zeilberger's fast algorithm to general holonomic functions
+Normal rank
@@ Property / cites work @@
+A non-holonomic systems approach to special function identities
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedure for indefinite hypergeometric summation
+Normal rank
@@ Property / cites work @@
+The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
+Normal rank
@@ Property / cites work @@
+Q4382877
@@ Property / cites work: Q4382877 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced applications of the holonomic systems approach
+Normal rank
@@ Property / cites work @@
+A fast approach to creative telescoping
@@ Property / cites work: A fast approach to creative telescoping / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
+Normal rank
@@ Property / cites work @@
+A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
+Normal rank
@@ Property / cites work @@
+Q4667612
@@ Property / cites work: Q4667612 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving parameterized linear difference equations in terms of indefinite nested sums and products
+Normal rank
@@ Property / cites work @@
+Computing the rank and a small nullspace basis of a polynomial matrix
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Q4324964
@@ Property / cites work: Q4324964 / rank @@
+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