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
|
|
|
|
