Search the dblp DataBase

Publications of Author

1. Mitsuhiro T. Nakao, K. Hashimoto, Yoshitaka Watanabe
   A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems. [Citation Graph (0, 0)][DBLP]
   Computing, 2005, v:75, n:1, pp:1-14 [Journal]
   
2. Teruya Minamoto, Mitsuhiro T. Nakao
   Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:2, pp:137-147 [Journal]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 2005, v:11, n:2, pp:157-159 [Journal]
   
4. Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida
   Some Computer Assisted Proofs for Solutions of the Heat Convection Problems. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 2003, v:9, n:5, pp:359-372 [Journal]
   
5. Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
   Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1998, v:4, n:2, pp:115-124 [Journal]
   
6. Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
   A Numerical Verification Method of Solutions for the Navier-Stokes Equations. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:347-357 [Journal]
   
7. 
   Some remarks on the behaviour of the finite element solution in nonsmooth domains. [Citation Graph (, )][DBLP]