Skip to content
DraconiticResearch
Search Sources API
179,152 studies31 sourcesUpdated 29 min ago
PreprintLicence not statedZenodo (CERN European Organization for Nuclear Research)

Formalizing Fefferman's Official Periodic Navier-Stokes Problem (B) in Lean 4: Global Linear Strain Exclusion on T3, Biot-Savart Direction Depletion Identities, and Conditional Reductions via Beale-Kato-Majda

  • Benjamin Frohman1
  1. 1Independent Researcher, Texas, United States
Open at sourceDOICite

Related

  1. Continuous Distributional Characterizations via a Single Characterizing Function and Lambert W Conditional Expectation Identities
    Ali A. Al-Shomrani
    AxiomsPeer-reviewedCC BY 4.0General mathematicsCrossref
  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. Formalizing Carleson's Theorem in Lean
    Lars Becker, María Inés de Frutos-Fernández, Leo Diedering +11
    HALPreprintCC BY 4.0Full textAnalysis & PDEsHALarXiv
  4. A discussion of two arguments related to Fefferman's Fourier extension theorem in the plane
    Eric T. Sawyer
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsarXiv
  5. Fefferman--Stein type inequalities via area and maximal functions for Schrödinger operators with applications
    Ji Li, Wanjun Li, Liang Song +1
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv

Cite

BibTeXRIS
BibTeX
@misc{frohman2026formalizing,
  title = {{Formalizing Fefferman's Official Periodic Navier-Stokes Problem (B) in Lean 4: Global Linear Strain Exclusion on T3, Biot-Savart Direction Depletion Identities, and Conditional Reductions via Beale-Kato-Majda}},
  author = {Benjamin Frohman},
  howpublished = {Zenodo (CERN European Organization for Nuclear Research)},
  year = {2026},
  month = oct,
  doi = {10.5281/zenodo.23652840},
  url = {https://doi.org/10.5281/zenodo.23652840},
}
RIS
TY  - UNPB
TI  - Formalizing Fefferman's Official Periodic Navier-Stokes Problem (B) in Lean 4: Global Linear Strain Exclusion on T3, Biot-Savart Direction Depletion Identities, and Conditional Reductions via Beale-Kato-Majda
AU  - Benjamin Frohman
PY  - 2026
DA  - 2026/10/26
PB  - Zenodo (CERN European Organization for Nuclear Research)
DO  - 10.5281/zenodo.23652840
UR  - https://doi.org/10.5281/zenodo.23652840
ER  -