History of Ramanujan's constant $R = e^{\pi \sqrt{163}}$

back to table · edit · history · where entries came from

when	who	what
2026-08-16 17:07	bmatschke	how well the digits are known: proven (verified here against exp(pi*sqrt(163)) in ball arithmetic, at all 1000 stored digits)	current
2026-08-15 11:02	bmatschke	how well the digits are known: proven (verified here: the stored value lies inside exp(pi*sqrt(163)) as a ball)
2026-08-09 09:12	flattening	entries rewritten as records with named parameters
2026-08-09 08:34	data-repository import	the current state of the data repository	reviewed
2021-04-02 20:43	bmatschke	from the data repository, 91647745
2021-04-02 20:23	bmatschke	from the data repository, d5d4fa4f
2021-04-02 20:21	Eran Assaf	from the data repository, e081a4cc
2021-04-02 19:20	Eran Assaf	from the data repository, 9c735b79

What changed between 2026-08-15 11:02 and 2026-08-16 17:07

from line 21 (7 lines, 1 more than before) @@ -21,6 +21,7 @@

   type: R   rigour: proven-  rigour details: Checked here against exp(pi*sqrt(163)) computed in ball arithmetic-    at 400 bits; the stored value lies inside the resulting enclosure.+  rigour details: 'Checked here against exp(pi*sqrt(163)) computed in ball arithmetic+    at 4000 bits, which covers every stored digit rather than the first hundred: the+    stored value is within one unit in the last place of the 1000 held.' Display properties:   number-header: $e^{\pi \sqrt{163}}$