Semi-automated proof of supercongruences on partial sums of hypergeometric series (Q1733315): Difference between revisions

@@ Property / cites work @@
+Q5213014
@@ Property / cites work: Q5213014 / rank @@
+Normal rank
@@ Property / cites work @@
+Some generalizations of a supercongruence of van Hamme
+Normal rank
@@ Property / cites work @@
+Hypergeometric evaluation identities and supercongruences
+Normal rank
@@ Property / cites work @@
+A $p$-adic supercongruence conjecture of van Hamme
+Normal rank
@@ Property / cites work @@
+Gaussian Hypergeometric series and supercongruences
+Normal rank
@@ Property / cites work @@
+Symbolic summation assists combinatorics
@@ Property / cites work: Symbolic summation assists combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Super congruences and Euler numbers
@@ Property / cites work: Super congruences and Euler numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement of a congruence result by van Hamme and Mortenson
+Normal rank
@@ Property / cites work @@
+Q4357441
@@ Property / cites work: Q4357441 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramanujan-type supercongruences
@@ Property / cites work: Ramanujan-type supercongruences / rank @@
+Normal rank