Robust error bounds for the Navier-Stokes equations using implicit-explicit second order BDF method with variable steps | Publicación