arXiv:1307.0914 [math.NA]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords finite difference approximations, navier-stokes equations, consistency, computer algebra assisted method, two-dimensional viscous incomressible fluid flows Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset