A fast approach to creative telescoping (Q541971): Difference between revisions

@@ Property / describes a project that uses @@
+qTSPP
@@ Property / describes a project that uses: qTSPP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2129936432
@@ Property / OpenAlex ID: W2129936432 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3314
@@ Property / arXiv ID: 1004.3314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232486
@@ Property / cites work: Q4232486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222737
@@ Property / cites work: Q4222737 / rank @@
+Normal rank
@@ Property / cites work @@
+Some questions concerning computer-generated proofs of a binomial double- sum identity
+Normal rank
@@ Property / cites work @@
+On rational solutions of systems of linear differential equations
+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 @@
+Non-commutative elimination in Ore algebras proves multivariate identities
+Normal rank
@@ Property / cites work @@
+Advanced applications of the holonomic systems approach
+Normal rank
@@ Property / cites work @@
+Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem
+Normal rank
@@ Property / cites work @@
+Proof of George Andrews’s and David Robbins’s             <i>q</i>             -TSPP conjecture
+Normal rank
@@ Property / cites work @@
+A holonomic systems approach to special functions identities
+Normal rank