Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao. A Numerical Verification Method of Solutions for the Navier-Stokes Equations. In Tibor Csendes, editor, Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998. pages 347-357, Springer, 1998. [doi]
@inproceedings{WatanabeYN98,
title = {A Numerical Verification Method of Solutions for the Navier-Stokes Equations},
author = {Yoshitaka Watanabe and Nobito Yamamoto and Mitsuhiro T. Nakao},
year = {1998},
doi = {10.1007/978-94-017-1247-7_27},
url = {https://doi.org/10.1007/978-94-017-1247-7_27},
researchr = {https://researchr.org/publication/WatanabeYN98},
cites = {0},
citedby = {0},
pages = {347-357},
booktitle = {Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998},
editor = {Tibor Csendes},
publisher = {Springer},
isbn = {978-94-017-1247-7},
}