| |
| 2003 | ||
|---|---|---|
| 3 | EE | Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida: Some Computer Assisted Proofs for Solutions of the Heat Convection Problems. Reliable Computing 9(5): 359-372 (2003) |
| 1999 | ||
| 2 | EE | Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao: A Numerical Verification Method of Solutions for the Navier-Stokes Equations. Reliable Computing 5(3): 347-357 (1999) |
| 1998 | ||
| 1 | EE | Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe: Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations. Reliable Computing 4(2): 115-124 (1998) |
| 1 | Mitsuhiro T. Nakao | [1] [2] [3] |
| 2 | Takaaki Nishida | [3] |
| 3 | Yoshitaka Watanabe | [1] [2] [3] |