← All Papers · Formal Verification

Navier-Stokes Regularity Program — Overview

Dr. Tamás Nagy Short Draft Formal Verification Lean-Verified

Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.

View in Graph BibTeX

Length

1,789 words

Claims

1 theorems

Status

Active

Connects To

Navier-Stokes Regularity as a Spectral Problem Spectral Stability of the Gallay-Wayne Gap under Three-Dimen... The PDE Tensor Algebra: Structural Decomposition and Exact R... The Grade Structure of Navier–Stokes: Why Blowup Requires Gr... Grade Decomposition and Gevrey Regularity for Navier-Stokes:... The Analyticity Parameter of Neutron Star Post-Merger Oscill... Resonance Algebra: A Formal Framework for Vibrating Mathemat...

Browse all Formal Verification papers →