Human Tech Tree
If solvedopen · If Solved (becomes possible)

Formal Sciences & Matter / Mathematics

Flow Simulation With Guarantees

Once it is clear when Navier-Stokes solutions stay smooth, flow programs can come with mathematical error guarantees.

Open in the interactive tree →

Weather models, aircraft design and blood-flow simulation solve Navier-Stokes approximately and without proof that the answer is reliable. A full theory of regularity and of turbulence would allow numerical methods with proven error bounds.

What it brings

  • Weather and climate models with proven error bounds
  • More reliable design of aircraft, turbines and heart valves
  • A real understanding of turbulence

Prerequisites

More in Mathematics · If Solved

All 63 points in Mathematics →

Open in the interactive tree →