#

executable-certificates

Here is 1 public repository matching this topic...

SICKNESS18 / yang-mills-hs-gap-cert

🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.

quantum-field-theory mathematical-physics hilbert-schmidt operator-theory yang-mills mass-gap spectral-gap executable-certificates ci-verified-monotonicity clay-problem

Updated May 13, 2026
Python

Improve this page

Add a description, image, and links to the executable-certificates topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the executable-certificates topic, visit your repo's landing page and select "manage topics."