research
∙
01/11/2021
Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains
The verified computing with assistance of computers has proved to be a p...
share
research
∙
10/02/2019
