| 2008 |
|---|
| 7 | EE | Mitsuhiro T. Nakao,
Takehiko Kinoshita:
Some remarks on the behaviour of the finite element solution in nonsmooth domains.
Appl. Math. Lett. 21(12): 1310-1314 (2008) |
| 2005 |
|---|
| 6 | 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) |
| 5 | EE | Mitsuhiro T. Nakao,
Kaori Nagatou:
SCAN'2004 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated NumericsFukuoka, Japan, October 4-8, 2004.
Reliable Computing 11(2): 157-159 (2005) |
| 2003 |
|---|
| 4 | 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 |
|---|
| 3 | 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 |
|---|
| 2 | 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) |
| 1997 |
|---|
| 1 | EE | Teruya Minamoto,
Mitsuhiro T. Nakao:
Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case.
Reliable Computing 3(2): 137-147 (1997) |
