Publication database of NCMM , project MORE and MathMAC center.
 [BibTeX] [RIS] [Request]
Quantifier elimination supported proofs in the numerical treatment of fluid flows
Type of publication: Article
Citation: A2007-08
Journal: Appl. Algebra Engrg. Comm. Comput.
Volume: 18
Number: 6
Year: 2007
Pages: 575--582
ISSN: 0938-1279
Userfields: fjournal={Applicable Algebra in Engineering, Communication and Computing}, coden={AAECEW}, mrclass={76M20 (03C10 65M06)}, mrnumber={MR2357437 (2008i:76134)},
Keywords:
Authors Liska, Richard
Váchal, Pavel
Added by: [ADM]
Total mark: 0
Attachments
    Notes
      Topics