Skip to content

Author

Jucelha Carvalho

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#small language model Open access Sep 2026

A Lean 4 Formalization Program Around the Yang–Mills Mass Gap — Version 53: Finite-Volume Lipschitz Stability Under Remote Polymer-Activity Damping

We are building and publishing, step by step, a formal and verifiable research program directed at the Yang–Mills existence and mass-gap problem, stating precisely what has been proved and what remains open. TL;DR Version 53 establishes finite-volume Lipschitz stability under remote polymer-activity damping. It bounds...

Jucelha Carvalho · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.