Computer-Assisted Proofs Take on Fluid Flow

Researchers have long been numerically solving the partial differential equations that govern important fluid phenomena such as weather, fusion plasmas, and aerodynamics. Of course, the accuracy of the results is always limited by the finite precision and spatial resolution of computer representations of the equations. Computers have also become a powerful tool for exact, rigorous mathematics. Proof assistants, for example, instill confidence a logical argument is sound and all cases have been considered. Programs can tirelessly examine superhumanly large libraries of combinations, such as those underlying the four-color map theorem proof in 1976.