Prefer a chat interface with context about you and your work?
Partial Regularity of Solutions to the Four-Dimensional Navier-Stokes Equations at the First Blow-up Time