Skip to content
DraconiticResearch
Search Sources API
201,818 studies31 sourcesUpdated 36 min ago
PreprintLicence not statedZenodo (CERN European Organization for Nuclear Research)

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 Frohman1
  1. 1Independent Researcher, Texas, United States
Open at sourceDOICite

Related

  1. 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
  2. Geometric Boundaries of the Frohmanian Symplectic Tether: Formal Tracking of the 2D Clock Test and Open Analytic Inputs for Fefferman Statement (B)
    Benjamin Frohman
    Zenodo (CERN European Organization for Nuclear Research)Peer-reviewedLicence not stated8 citedGeneral mathematicsOpenAlex
  3. 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
  4. Work in progress: A Lean-verified conditional reduction of periodic Navier-Stokes regularity on T^3 to a single integrability hypothesis
    Benjamin Frohman
    Zenodo (CERN European Organization for Nuclear Research)PreprintLicence not stated7 citedGeneral mathematicsOpenAlex
  5. 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

Cite

BibTeXRIS
BibTeX
@misc{frohman2026global,
  title = {{Global Regularity for the 3D Incompressible Navier–Stokes Equations via the Frohmanian Symplectic Tether: Lean 4 Formalization and Conditional Cubic Comparison Framework (v2.1)}},
  author = {Benjamin Frohman},
  howpublished = {Zenodo (CERN European Organization for Nuclear Research)},
  year = {2026},
  month = oct,
  doi = {10.5281/zenodo.23627609},
  url = {https://doi.org/10.5281/zenodo.23627609},
}
RIS
TY  - UNPB
TI  - Global Regularity for the 3D Incompressible Navier–Stokes Equations via the Frohmanian Symplectic Tether: Lean 4 Formalization and Conditional Cubic Comparison Framework (v2.1)
AU  - Benjamin Frohman
PY  - 2026
DA  - 2026/10/24
PB  - Zenodo (CERN European Organization for Nuclear Research)
DO  - 10.5281/zenodo.23627609
UR  - https://doi.org/10.5281/zenodo.23627609
ER  -