Solutions of the 3D Navier-Stokes equations for initial data in \(\dot H^{1/2}\): robustness of regularity and numerical verification of regularity for bounded sets of initial data in
scientific article; zbMATH DE number 6138105