← All Papers · Formal Verification

Kernel-Verified Debye Screening: a Second Worked Instance of the Derived-Physics Standard, with SHA-Committed Predictions Across Fourteen Orders of Magnitude in Plasma Parameters

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

Summary

The Debye-screening length $\lambda_D^2 = \varepsilon_0 k_B T_e / (n_0 q_e^2)$ is a textbook identity — appearing unchanged in Chen *(Introduction to Plasma Physics §1.4)*, Krall–Trivelpiece *(§1.2.2)*, Jackson *(§1.5)*, and the *NRL Plasma Formulary
Length
5,163 words
Status
DRAFT — Session-17 cross-domain pilot, independent submission track

Connects To

Spectral Disruption Prediction: Real-Time Plasma Stability v... Universal Foundations: A Verified Library of Core Mathematic...

Browse all Formal Verification papers →