caa a22 4500 463202929 CHVBK 20180405153117.0 cr unu---uuuuu 170326e20071201xx s 000 0 eng 10.1007/s00200-007-0057-6 doi (NATIONALLICENCE)springer-10.1007/s00200-007-0057-6 Quantifier elimination supported proofs in the numerical treatment of fluid flows [Elektronische Daten] [Richard Liska, Pavel Váchal] During the analysis of numerical methods for fluid flows some properties of numerical methods 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 advection-diffusion equation with Runge-Kutta time discretization is much bigger than classical stability region. Springer-Verlag, 2007 Quantifier elimination nationallicence Stability nationallicence Finite difference method nationallicence Liska Richard Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Brehova 7, 115 19, Prague 1, Czech Republic aut Váchal Pavel Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Brehova 7, 115 19, Prague 1, Czech Republic aut Applicable Algebra in Engineering, Communication and Computing Springer-Verlag 18/6(2007-12-01), 575-582 0938-1279 18:6<575 2007 18 200 https://doi.org/10.1007/s00200-007-0057-6 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s00200-007-0057-6 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Liska Richard Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Brehova 7, 115 19, Prague 1, Czech Republic aut NATIONALLICENCE 700 1- Váchal Pavel Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Brehova 7, 115 19, Prague 1, Czech Republic aut NATIONALLICENCE 773 0- Applicable Algebra in Engineering, Communication and Computing Springer-Verlag 18/6(2007-12-01), 575-582 0938-1279 18:6<575 2007 18 200 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer