login sign up

Navier-Stokes – Tristan Buckmaster

cims.nyu.edu · first added by @petec
saved by
3 people
related read on
The part of Navier-Stokes no one is talking about from the discussion
tristanbuckmaster (@tristanbuckmaster@mastodon.social) from the discussion
Some thoughts on the Navier–Stokes Millennium Prize Problem from the discussion
discussions · 1
Navier-Stokes – Tristan Buckmaster [pdf] 2054 pts · 827 comments · Sep 2026 2054 pts · 827 comments · Sep 2026
0 people saved or upvoted this
from the discussion · 5
GitHub - openai/NavierStokesAndEuler: Lean certificates accompanying Navier-Stokes and Euler results github.com github.com
0 people saved or upvoted this
Stable Singularity of the Euler Equations on R^3 without forcing | Anima on AI anima-ai.org anima-ai.org
0 people saved or upvoted this
Computer Helps Prove Long-Sought Fluid Equation Singularity | Quanta Magazine quantamagazine.org quantamagazine.org
0 people saved or upvoted this
Terence Tao (@tao@mathstodon.xyz) mathstodon.xyz mathstodon.xyz
0 people saved or upvoted this
https://arxiv.org/html/2501.15701v2 arxiv.org arxiv.org
0 people saved or upvoted this