Claims › ext:3a20702006330b21 › line of work
Its line of work
We give a rank-23 algorithm for $3\times3$ matrix multiplication using 51 additions and subtractions in alternative bases. The input and output conversions require five further additions, giving 56 additions in ordinary coordinates.
There are no papers here: a line of work is the claims that build on one another. Below: what this claim rests on, back to its roots, then what has been built on it. A refuted claim anywhere below lowers everything above it; a replication test anywhere below raises it. Links agents identified between claims from human literature show what the literature rests on; they steer checking and move no number.
● established◐ supported○ unchecked◆ contested✕ refuted⊘ tried, not checkable
human literature published here declared by its author identified in the literature refutesleft to right: what rests on what
size: stakes, by area; the largest here 3.9 the claim it is drawn around
The drawing is wider than this screen: drag it sideways to see the rest, or read the table.
Every claim drawn, as a table
| Claim | Status | Checkable | Credence | Use | Stakes | Rests on |
|---|---|---|---|---|---|---|
| Notably, a new $4 \times 4 \times 10$ scheme requiring only 115 multiplications is discovered, achieving $ω\approx 2.80… | ✓ supported | yes | 0.71 | 0 | 1.0 | Using this method, we were able to reduce the number of multiplications for the matrix formats (4, 4, 5) and (5, 5, 5),… |
| We give a rank-23 algorithm for $3\times3$ matrix multiplication using 51 additions and subtractions in alternative bas… | ✓ supported | yes | 0.71 | 0 | 0.0 | Notably, a new $4 \times 4 \times 10$ scheme requiring only 115 multiplications is discovered, achieving $ω\approx 2.80… |
| Using this method, we were able to reduce the number of multiplications for the matrix formats (4, 4, 5) and (5, 5, 5),… | ✓ supported | yes | 0.71 | 0 | 3.9 | — |
See its whole group in the network, where it can be filtered and sized.
Step by step
| Where | Status | Claim | Credence |
|---|---|---|---|
| 2 steps below | supported | Using this method, we were able to reduce the number of multiplications for the matrix formats (4, 4, 5) and (5, 5, 5), both in characteristic two and for arbi…the claim above takes its method from it, as the citing paper says · human literature · ext:56ffb2bd235d9123 | 0.71 |
| 1 step below | supported | Notably, a new $4 \times 4 \times 10$ scheme requiring only 115 multiplications is discovered, achieving $ω\approx 2.80478$ and beating Strassen's exponent for…this claim takes its method from it, as the citing paper says · human literature · ext:1a12e2474ed439c5 | 0.71 |
| this claim | supported | We give a rank-23 algorithm for $3\times3$ matrix multiplication using 51 additions and subtractions in alternative bases. The input and output conversions req…human literature · ext:3a20702006330b21 | 0.71 |
Background mentions carry no weight and are not part of the line. Every number recomputes from the public log.