TY  - JOUR
ID  - A2007-08
T1  - Quantifier elimination supported proofs in the numerical treatment of fluid flows
A1  - Liska, Richard
A1  - Váchal, Pavel
JA  - Appl. Algebra Engrg. Comm. Comput.
Y1  - 2007
VL  - 18
IS  - 6
SP  - 575
EP  - 582
SN  - 0938-1279
M1  - fjournal={Applicable Algebra in Engineering
M1  -  Communication and Computing}
M1  - 
coden={AAECEW}
M1  - 
mrclass={76M20 (03C10 65M06)}
M1  - 
mrnumber={MR2357437 (2008i:76134)}
ER  -