← All Papers · Formal Verification

Kernel-Verified Derived Physics: a Transferable Standard for Auditable Derivations with Pre-Registered Predictions

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

Summary

Derived-physics laws — the Rechester–Rosenbluth stochastic-field-line transport law, the Debye electrostatic screening length, the Clausius–Clapeyron integrated vapour-pressure equation, the Einstein chirp mass from the stationary-phase approximation
Length
10,539 words
Status
DRAFT — minimum-viable methods paper, 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 →