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