A rigorous Lean 4 formalization aiming to computationally verify the unconditional proof of the Yang-Mills mass gap (a Clay Millennium Prize Problem) using the Balaban Renormalization Group.
-
Updated
Apr 28, 2026 - Lean
#
special-unitary
Here are 3 public repositories matching this topic...
This code generates the generator matrices for special unitary groups of a given degree. It can also use the Higgs mechanism to break symmetry to return boson mass terms.
physics quantum particle force nuclear field gauge theory group spin symmetry openscience higgs lie mass electroweak boson pauli gell-mann special-unitary
-
Updated
Jan 30, 2024
🧮 🎯 Non-convex Global Optimizer for locally symmetrical manifolds: SO(d), Stiefel & Grassmann Manifolds
optimization optimizer global-optimization optimization-algorithms particle-swarm-optimization optimisation optimisation-algorithms global-optimization-algorithms special-orthogonal-group-transforms stiefel-manifold special-unitary-group swarm-optimization-algorithm stiefel-manifold-optimization special-unitary consensus-based-optimisation swarm-optimization consensus-based-optimization
-
Updated
May 1, 2026 - C++
Improve this page
Add a description, image, and links to the special-unitary topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the special-unitary topic, visit your repo's landing page and select "manage topics."