Quantifier elimination supported proofs in numerical treatment of fluid flows
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21340%2F07%3A04140526" target="_blank" >RIV/68407700:21340/07:04140526 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Quantifier elimination supported proofs in numerical treatment of fluid flows
Original language description
During the analysis of numerical methods for fluid flows some properties of numerical methods as stability can be stated as quantified problems and proved by quantifier elimination. A case 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.
Czech name
Důkazy v numerickém řešení proudění tekutin podporované eliminací kvantifikátorů
Czech description
Během analýzy numerických metod pro proudění tekutin některé vlastnosti numerických metod jako stabilita mouhou být formulovány jako kvantifikované problémy a dokázány eliminací kvantifikátorů. Studie ukazuje, že obor stability centrálního schematu pro advekčně difusní rovnici s Runge-Kuttovou časovou diskretizací je mnohem větší než klasický obor stability.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BK - Liquid mechanics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/LC06052" target="_blank" >LC06052: The Nečas Center for Mathematical Modeling</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Applicable Algebra in Engineering, Communication and Computing
ISSN
0938-1279
e-ISSN
—
Volume of the periodical
18
Issue of the periodical within the volume
6
Country of publishing house
US - UNITED STATES
Number of pages
8
Pages from-to
575-582
UT code for WoS article
—
EID of the result in the Scopus database
—