Skip to content
#

enstrophy-transport-equation

Star

Here is 1 public repository matching this topic...

AEjonanonymous / Navier-Stokes

Star 1

Geometric Exclusion of Smooth Solutions to Navier-Stokes Equations at Stationary Right-Angles under No-Slip Boundary Conditions in Lean 4.

research math mathematics singularity differential-geometry partial-differential-equations navier-stokes formal-verification fluid-dynamics boundary-conditions mathlib navier-stokes-equations right-angle lean4 ai-assisted-research clay-mathematics-institute enstrophy-transport-equation no-slip millennium-prize-problem
  • Updated Aug 17, 2026
  • Lean

Improve this page

Add a description, image, and links to the enstrophy-transport-equation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the enstrophy-transport-equation topic, visit your repo's landing page and select "manage topics."

Learn more