| 2010 | ||
|---|---|---|
| j7 | Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. J. Sci. Comput. 43(3): 388-401 (2010) | |
| j6 | Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim: Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. J. Sci. Comput. 44(1): 107 (2010) | |
| 2005 | ||
| j5 | 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) | |
| 2004 | ||
| j4 | Mitsuhiro T. Nakao, Yoshitaka Watanabe: An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations. Numerical Algorithms 37(1-4): 311-323 (2004) | |
| 2003 | ||
| j3 | 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 | ||
| j2 | 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 | ||
| j1 | 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 | |
| 2 | Myoung-Nyoung Kim | |
| 3 | Myoungnyoun Kim | |
| 4 | Mitsuhiro T. Nakao | |
| 5 | Takaaki Nishida | |
| 6 | Nobito Yamamoto |
Data released under the ODC-BY 1.0 license — See also our legal information page