History of Exponent of matrix multiplication complexity

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

when	who	what
2026-08-15 11:02	bmatschke	how well the digits are known: proven (the entry is a pair of theorems, not a computation)	current
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-05 18:37	bmatschke	from the data repository, 9553fc42
2021-03-04 19:49	bmatschke	from the data repository, 7c8d1063
2021-03-03 03:36	bmatschke	from the data repository, a5bf173d
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 11:24	bmatschke	from the data repository, a73de03d
2021-01-14 10:18	bmatschke	from the data repository, 1ffbbc8c

What changed between 2026-08-09 09:10 and 2026-08-15 11:02

from line 43 (10 lines, 6 more than before) @@ -43,4 +43,10 @@

   sources:   - CITE{AVW}+  rigour: proven+  rigour details: 'Not a computed value: the entry is an interval between two theorems,+    the trivial lower bound of 2 and the best upper bound published when the entry+    was written. The true exponent is not known, and the width of the interval is+    ignorance about mathematics rather than error in a computation. Sharper upper+    bounds have been published since.' Display properties:   number-header: $\omega$