Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 38 min ago
PreprintLicence not statedZenodo (CERN European Organization for Nuclear Research)

Work in progress: A Lean-verified conditional reduction of periodic Navier-Stokes regularity on T^3 to a single integrability hypothesis

  • Benjamin Frohman1
  1. 1Abstract AI Research Syndicate & Formal Methods Engineering Group
Open at sourceDOICite

Related

  1. Identified strain kernel A(θ,ω) and a conditional regularity criterion for 3D Navier–Stokes (κ = 3/2; working notes)
    Benjamin Frohman
    Zenodo (CERN European Organization for Nuclear Research)PreprintLicence not stated13 citedGeneral mathematicsOpenAlex
  2. September 2026 Working Notes on 3D Navier–Stokes Conditional Regularity Criteria, the Hodge–Navier–Stokes Architecture Referee Audit, and Triadic Multiscale Homogenization
    Benjamin Frohman
    Zenodo (CERN European Organization for Nuclear Research)Peer-reviewedLicence not stated13 citedGeneral mathematicsOpenAlex
  3. Global Regularity for the 3D Incompressible Navier–Stokes Equations via the Frohmanian Symplectic Tether: Lean 4 Formalization and Conditional Cubic Comparison Framework (v2.1)
    Benjamin Frohman
    Zenodo (CERN European Organization for Nuclear Research)PreprintLicence not stated6 citedGeneral mathematicsOpenAlex
  4. The Frohmanian Symplectic Tether: Canonical Uniqueness on Coadjoint Orbits of SDiff(T3), Non-Degenerate Casimir Coupling, and Conditional Global Regularity via Quartic Young Absorption in Lean 4
    Benjamin Frohman
    Zenodo (CERN European Organization for Nuclear Research)PreprintLicence not stated5 citedGeometry & topologyOpenAlex
  5. Conditional and Marginal Run-Length Quantiles of Gamma CUSUM Charts with an Estimated Scale: Tail Integrability and One-Point MRL Protection
    Yulong Qiao, Qian Zhang, Bin Dai +2
    AxiomsPeer-reviewedCC BY 4.0General mathematicsCrossref

Cite

BibTeXRIS
BibTeX
@misc{frohman2026work,
  title = {{Work in progress: A Lean-verified conditional reduction of periodic Navier-Stokes regularity on T^3 to a single integrability hypothesis}},
  author = {Benjamin Frohman},
  howpublished = {Zenodo (CERN European Organization for Nuclear Research)},
  year = {2026},
  month = oct,
  doi = {10.5281/zenodo.23842296},
  url = {https://doi.org/10.5281/zenodo.23842296},
}
RIS
TY  - UNPB
TI  - Work in progress: A Lean-verified conditional reduction of periodic Navier-Stokes regularity on T^3 to a single integrability hypothesis
AU  - Benjamin Frohman
PY  - 2026
DA  - 2026/10/31
PB  - Zenodo (CERN European Organization for Nuclear Research)
DO  - 10.5281/zenodo.23842296
UR  - https://doi.org/10.5281/zenodo.23842296
ER  -