Pichardescu/yang-mills-s3-computations
Computational framework for verifying the Yang-Mills mass gap proof on S³×ℝ, spectral geometry, BBS contraction, and Mosco convergence
Computational framework for verifying the Yang-Mills mass gap proof on S³×ℝ, spectral geometry, BBS contraction, and Mosco convergence