Executable finite-geometry research linking W(3,3)/W33 to exceptional Lie structures (E6/E7/E8), with reproducible scripts, tests, and Lean/Sage verification paths.
topology reproducible-research computational-mathematics sagemath mathematical-physics e8 theory-of-everything finite-geometry e6 e7 lean4 qutrit w33 generalized-quadrangle exceptional-lie-algebras
-
Updated
Feb 11, 2026 - Python