History of Rational multiples of pi

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

when	who	what
2026-08-14 21:29	bmatschke	how well the digits are known: proven (interval or ball arithmetic only)	current
2026-08-13 22:04	bmatschke	how well the digits are known: proven (interval or ball arithmetic only)
2026-08-09 09:11	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-03-12 13:04	bmatschke	from the data repository, c85c4825
2021-03-12 05:37	bmatschke	from the data repository, 7011c0cb

What changed between 2026-08-13 22:04 and 2026-08-14 21:29

from line 21 (7 lines, 3 more than before) @@ -21,4 +21,7 @@

   complete: 'no'   rigour: proven+  rigour details: Computed in interval or ball arithmetic throughout, so the digits+    written follow from the width of the result rather than from a guard chosen in+    advance. Display properties:   number-header: $a\pi$