2003 | ||
---|---|---|
1 | 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) |
1 | Mitsuhiro T. Nakao | [1] |
2 | Yoshitaka Watanabe | [1] |
3 | Nobito Yamamoto | [1] |