Symbolic-Numeric Stability Investigations of Jameson's Schemes for the Thin-Layer Navier-Stokes Equations. - Victor G. Ganzha; Evgenii V. Vorozhtsov; J. Boers; J. A. van Hulzen (ISSAC, 1994)