Quantifier Elimination Supported Proofs in Numerical Treatment of Fluid Flows

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21340%2F05%3A04117658" target="_blank" >RIV/68407700:21340/05:04117658 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

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 many theorems/propositions can be formulated as quantifier elimination problems and proved by quantifier elimination methods.

Czech name

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

Czech description

Při analýze numerických metod řešení proudění tekutin je možné mnoho vět/tvrzení formulovat jako problémy pro eliminaci kvantifikátorů a dokázat metodou eliminace kvantifikátotů.

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/LC528" target="_blank" >LC528: Centre of Laser Plasma</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

ACA'2005 Abstracts of Presentations

ISBN

4-903027-02-3

ISSN

—

e-ISSN

—

Number of pages

1

Pages from-to

54-54

Publisher name

Nara Institute of Science and Technology

Place of publication

Nara

Event location

Nara

Event date

Jul 31, 2005

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—