← All Papers · Formal Verification

A Machine-Checked Reduced Transport Law for Stochastic-Field-Line Confinement

Dr. Tamás Nagy Working Paper Formal Verification Lean-Verified
View in Graph BibTeX

Summary

We present a machine-checked reduced transport law for ion-scale turbulent confinement in tokamak plasmas.
Length
19,276 words
Claims
14 theorems
Status
Preprint Draft
Target
Physics of Plasmas / Plasma Physics and Controlled Fusion / Journal of Plasma Physics / Nuclear Fusion

Connects To

Spectral Disruption Prediction: Real-Time Plasma Stability v... The Universal Spectral Representation Theorem: Breaking the ... Harvestability Grade Decomposition and Gevrey Regularity for Navier-Stokes:... The Spectral Generator of the N-Body Latent: Connecting Padé... Spectral Vorticity Bridge for Turbulent Flows Vorticity as a Universal Controller: A Structural Bridge Bet... Universal Foundations: A Verified Library of Core Mathematic...

Browse all Formal Verification papers →