Důkazy v numerickém řešení proudění tekutin podporované eliminací kvantifikátorů

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Quantifier elimination supported proofs in numerical treatment of fluid flows
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Quantifier elimination supported proofs in numerical treatment of fluid flows
Popis výsledku anglicky
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.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BK - Mechanika tekutin
OECD FORD obor
—

Projekt
<a href="/cs/project/LC06052" target="_blank" >LC06052: Centrum Jindřicha Nečase pro matematické modelování</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)