History of Best Sobolev constant for $W^{1,p}(\mathbb{R}^n)$

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

when	who	what
2026-08-14 21:31	bmatschke	how well the digits are known: proven (interval or ball arithmetic only)	current
2026-08-13 22:07	bmatschke	how well the digits are known: proven (interval or ball arithmetic only)
2026-08-09 09:15	flattening	entries rewritten as records with named parameters
2026-08-09 08:35	data-repository import	the current state of the data repository	reviewed
2021-05-19 11:51	bmatschke	from the data repository, 58de07d2

What changed between 2026-08-13 22:07 and 2026-08-14 21:31

from line 54 (7 lines, 3 more than before) @@ -54,4 +54,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: $S_{n,p}$