@article {IOPORT.05324357,
    author       = {Liska, Richard and V\'achal, Pavel},
    title        = {Quantifier elimination supported proofs in the numerical treatment of fluid flows.},
    year         = {2007},
    journal      = {Applicable Algebra in Engineering, Communication and Computing},
    volume       = {18},
    number       = {6},
    issn         = {0938-1279},
    pages        = {575-582},
    publisher    = {Springer-Verlag, Berlin},
    doi          = {10.1007/s00200-007-0057-6},
    abstract     = {Summary: During the analysis of numerical methods for fluid flows some properties of numerical methods, such as stability or monotonicity, can be stated as quantified problems and proved by quantifier elimination. A case study demonstrating such proofs is presented. The study shows that the stability region of the central scheme for the advection-diffusion equation with Runge-Kutta time discretization is much bigger than the classical stability region.},
    identifier   = {05324357},
}