| |
| 2005 | ||
|---|---|---|
| 4 | EE | Mitsuhiro T. Nakao, K. Hashimoto, Yoshitaka Watanabe: A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems. Computing 75(1): 1-14 (2005) |
| 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 | K. Hashimoto | [4] |
| 2 | Mitsuhiro T. Nakao | [1] [2] [3] [4] |
| 3 | Takaaki Nishida | [3] |
| 4 | Nobito Yamamoto | [1] [2] [3] |