History of Pi

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 pi in ball arithmetic, at all 301 stored digits)	current
2026-08-15 11:02	bmatschke	how well the digits are known: proven (verified here against pi in ball arithmetic; agrees to 120 characters)
2026-08-09 09:10	flattening	entries rewritten as records with named parameters
2026-08-09 08:33	data-repository import	the current state of the data repository	reviewed
2021-03-04 19:49	bmatschke	from the data repository, 7c8d1063
2021-02-24 02:12	bmatschke	from the data repository, a89fda6e
2021-02-01 03:40	bmatschke	from the data repository, f9bb3fe6
2021-01-14 13:43	bmatschke	from the data repository, 38391718

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

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

   type: R   rigour: proven-  rigour details: Checked here against pi computed in ball arithmetic at 400 bits,-    which agreed to past the hundredth digit.+  rigour details: 'Checked here against pi 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 301 held.' Display properties:   number-header: $\pi$