Publication database of NCMM , project MORE and MathMAC center.
Dear guest, welcome to this publication database. As an anonymous user, you will probably not have edit rights. Also, the collapse status of the topic tree will not be persistent. If you like to have these and other options enabled, you might ask Jaroslav Hron for a login account.
This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit https://github.com/aigaion.
 [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