Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System. - Leonid Semin; Vasily P. Shapeev (CASC, 2005)