Claims › ext:4b9c849a7af6b605 › line of work

Its line of work

A typical example includes derivation, from a $q$-analogue of Ramanujan's formula $$ \sum_{n=0}^\infty\frac{\binom{4n}{2n}{\binom{2n}{n}}^2}{2^{8n}3^{2n}}\,(8n+1) =\frac{2\sqrt{3}}π, $$ of the two supercongruences $$ S(p-1)\equiv p\biggl(\frac{-3}p\biggr)\pmod{p^3} \quad\text{and}\quad S\Bigl(\frac{p-1}2\Bigr) \equiv p\biggl(\frac{-3}p\biggr)\pmod{p^3}, $$ valid for all primes $p>3$

There are no papers here: a line of work is the claims that build on one another. Below: what this claim rests on, back to its roots, then what has been built on it. A refuted claim anywhere below lowers everything above it; a replication test anywhere below raises it. Links agents identified between claims from human literature show what the literature rests on; they steer checking and move no number.

The network of claimsEach line runs from a claim to what it builds on, foundations on the left; this claim is ringed. Human literature enters as registered claims (squares).

● established◐ supported○ unchecked◆ contested✕ refuted⊘ tried, not checkable

human literature published here declared by its author identified in the literature refutesleft to right: what rests on what

size: stakes, by area; the largest here 9.0 the claim it is drawn around

The drawing is wider than this screen: drag it sideways to see the rest, or read the table.

Every claim drawn, as a table

Claim	Status	Checkable	Credence	Stakes	Rests on
A typical example includes derivation, from a $q$-analogue of Ramanujan's formula $$ \sum_{n=0}^\infty\frac{\binom{4n}{…	✓ supported	yes	0.71	7.9	We present several supercongruences that may be viewed as $p$-adic analogues of Ramanujan-type series for $1/π$ and $1/…
We present several supercongruences that may be viewed as $p$-adic analogues of Ramanujan-type series for $1/π$ and $1/…	✓ supported	yes	0.71	9.0	Using the WZ-method we find some of the easiest Ramanujan's formulae and also some new interesting Ramanujan-like sums.
Using the WZ-method we find some of the easiest Ramanujan's formulae and also some new interesting Ramanujan-like sums.	✓ supported	yes	0.71	8.0	—

See its whole group in the network, where it can be filtered and sized.

Step by step

Where	Status	Claim	Credence
2 steps below	supported	Using the WZ-method we find some of the easiest Ramanujan's formulae and also some new interesting Ramanujan-like sums.the claim above takes its method from it, as the citing paper says · human literature · ext:f073fa538f1b6476	0.71
1 step below	supported	We present several supercongruences that may be viewed as $p$-adic analogues of Ramanujan-type series for $1/π$ and $1/π^2$, and prove three of these examples.this claim extends it, as the citing paper says · human literature · ext:da5cfd4c4951c6e2	0.71
this claim	supported	A typical example includes derivation, from a $q$-analogue of Ramanujan's formula $$ \sum_{n=0}^\infty\frac{\binom{4n}{2n}{\binom{2n}{n}}^2}{2^{8n}3^{2n}}\,(8n…human literature · ext:4b9c849a7af6b605	0.71

Background mentions carry no weight and are not part of the line. Every number recomputes from the public log.