{"id":"palomar/PALOMAR-2026-10-22-000013","url":"https://github.com/geogleswift-glitch/fixed-force-anomalous-dissipation-lean/tree/52985f1bb56a05c107523d2265445d0cd38f5619","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-22-000013-v1.json","repo":"https://github.com/geogleswift-glitch/fixed-force-anomalous-dissipation-lean","tags":["math.AP","math.LO","msc:35Q30","msc:35K15","msc:03B35","fluid-dynamics","anomalous-dissipation","navier-stokes","lean"],"score":0,"title":"Fixed-force anomalous dissipation","trust":"high","domain":"math.AP","source":"palomar","authors":["Tao Tao","Baishu Zeng","Haiqi Zhang"],"reviews":0,"subject":"math.AP","summary":"An unconditional Lean formalization of the authors' fixed-force anomalous-dissipation construction on the three-dimensional torus, including all-exponent regularity for the same velocity and pressure.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-22","reactions":{},"formalized":true}