Answers are grounded in this paper and cite their sources.
Formal-numerical package presents five papers and supporting resources, highlighting analytical methods and computational tools.
This archive contains five narrow working papers, English TeX/PDF reading copies, public-source evidence tables, one exact 21-row finite-truncation companion experiment, and a standalone finite-dimensional Lean project. It is a bounded formal-numerical research package. It does not claim a solution of the three-dimensional Navier-Stokes regularity problem, a singularity construction, or validation of a replacement fluid model.
No takes yet. Share an insight, caveat, or question.
Wangyue (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: