Towards computerized proofs of identities (Q5749295): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Basic Hypergeometric Functions
@@ Property / cites work: Applications of Basic Hypergeometric Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4760447
@@ Property / cites work: Q4760447 / rank @@
+Normal rank
@@ Property / cites work @@
+Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
+Normal rank
@@ Property / cites work @@
+A purely verification proof of the first Rogers-Ramanujan identity
+Normal rank
@@ Property / cites work @@
+Strange Evaluations of Hypergeometric Series
@@ Property / cites work: Strange Evaluations of Hypergeometric Series / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedure for indefinite hypergeometric summation
+Normal rank
@@ Property / cites work @@
+Q5650405
@@ Property / cites work: Q5650405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3267566
@@ Property / cites work: Q3267566 / rank @@
+Normal rank
@@ Property / cites work @@
+The solution of the problem of integration in finite terms
+Normal rank
@@ Property / cites work @@
+On the parallel Risch Algorithm (II)
@@ Property / cites work: On the parallel Risch Algorithm (II) / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Functions Certify Combinatorial Identities
+Normal rank
@@ Property / cites work @@
+Resurrecting the asymptotics of linear recurrences
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:5749295