Work in progress: A Lean 4 Formalization of the Classical Continuation Chain for Periodic Navier-Stokes on 𝕋³: Energy Identity, H³ Commutator Reduction and the BKM Route

Frohman, Benjamin Stanley

DOI: 10.5281/zenodo.23851666

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.