%Aigaion2 BibTeX export from Bibliography database
%Sunday 24 May 2026 03:56:59 AM

@ARTICLE{A2007-08,
    author = {Liska, Richard and V{\'{a}}chal, Pavel},
     title = {Quantifier elimination supported proofs in the numerical treatment of fluid flows},
   journal = {Appl. Algebra Engrg. Comm. Comput.},
    volume = {18},
    number = {6},
      year = {2007},
     pages = {575--582},
      issn = {0938-1279},
fjournal={Applicable Algebra in Engineering, Communication and Computing},
coden={AAECEW},
mrclass={76M20 (03C10 65M06)},
mrnumber={MR2357437 (2008i:76134)},
}