Anonymous CC0 unrefereed candidate on exact low-length Recht–Ré inequalities, with replayable certificates, six-factor balanced families, and a reshuffling metric reversal.
python reproducible-research sympy semidefinite-programming sum-of-squares computer-assisted-proof exact-arithmetic random-reshuffling noncommutative-algebra python-flint matrix-inequalities
-
Updated
Jul 30, 2026 - Python