Computer-Assisted Proofs Take on Fluid Flow

Don Monroe. Computer-Assisted Proofs Take on Fluid Flow. Communications of the ACM, 66(8):12-14, August 2023. [doi]

Abstract

Abstract is missing.