The Lean proof assistant: an interactive tool for constructing and verifying formal mathematical proofsTechnologies
Fluid dynamics in space: modeling interstellar gas and protoplanetary disk evolution with Navier-Stokes equationsTechnologies
The StarTalk discussion on AI and Navier Stokes a recap of the key insights from Neil deGrasse Tyson and Mordecai Mark Mac LowTechnologies