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 | |
Added by: | [ADM] |
Total mark: | 0 |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|