bilinear-complexity

Exact symmetry-stratified search for fast matrix multiplication over F2: a second inequivalent rank-47 scheme for 4x4, rigidity theorems, and large same-rank families at 5x5 and 6x6

Exact tensor and bilinear rank over finite fields: lower bounds, exhaustive search, SAT with DRAT-checkable refutations, symmetry reduction, and operator sparsification proved minimal against PLinOpt, with a local web console. C++20 on Givaro.