#

yang-mills-equations

Here are 3 public repositories matching this topic...

consensusframework / yang-mills-mass-gap

A multi-agent AI framework formalizing the Yang-Mills Mass Gap finite-lattice theory in Lean 4 without axioms or sorry.

human-ai automated-theorem-proving lean4 yang-mills-theory yang-mills human-ai-collaboration ai-collaboration mass-gap yang-mills-mass-gap yang-mills-equations millennium-prize-problem

Updated Aug 16, 2026
Lean

Cosmochrony / gauge-gravity-stratification-note

Cosmochrony — Gauge-Gravity Stratification sub-programme presentation note

non-injective-projection seeley-dewitt-coefficients presentation-note gauge-gravity-unification spectral-stratification yang-mills-equations einstein-yang-mills-system hierarchy-ratio born-infeld-completion admissible-spectral-entropy

Updated Jul 30, 2026
TeX

Cosmochrony / q12

Yang-Mills Dynamics from Projective Spectral Entropy: Vertical Heat-Kernel Variation on the Admissible Fibre

spectral-entropy heat-kernel-expansion seeley-dewitt-coefficients yang-mills-equations gauge-gravity-hierarchy induced-gauge-theory admissible-fibre projective-non-injectivity

Updated Jul 30, 2026
TeX

Improve this page

Add a description, image, and links to the yang-mills-equations 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 yang-mills-equations topic, visit your repo's landing page and select "manage topics."