Reduction of Periodic 3D Navier-Stokes Regularity to a Single High-Set Direction-Curvature Bound in Lean 4

Authors

Benjamin Frohman (ORCID: https://orcid.org/0009-0006-7068-3718)

Publication Details

Journal: Zenodo (CERN European Organization for Nuclear Research)
Published: 2026-10-29
DOI: https://doi.org/10.5281/zenodo.23749844
Primary Topic: Navier-Stokes equation solutions
Type: preprint

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

preprint

Reduction of Periodic 3D Navier-Stokes Regularity to a Single High-Set Direction-Curvature Bound in Lean 4

Benjamin Frohman

Oct 29, 2026

4 links

Zenodo (CERN European Organization for Nuclear Research)

Navier-Stokes equation solutions

preprint

Reduction of Periodic 3D Navier-Stokes Regularity to a Single High-Set Direction-Curvature Bound in Lean 4

Benjamin Frohman

October 29, 2026preprint en

Abstract

No abstract available for this paper.

Zenodo (CERN European Organization for Nuclear Research)

Navier-Stokes equation solutions

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon

Reduction of Periodic 3D Navier-Stokes Regularity to a Single High-Set Direction-Curvature Bound in Lean 4 — Benjamin Frohman · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS