Skip to content
#

no-slip

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 comparator 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 Sep 8, 2026
  • Lean

Add this topic to your repo

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

Learn more