Some Computer Assisted Proofs for Solutions of the Heat Convection Problems
書誌事項
- タイトル
- Some Computer Assisted Proofs for Solutions of the Heat Convection Problems
- 著者
- M.Nakao
収録刊行物
-
- Reliable Computing Vol.9
-
Reliable Computing Vol.9 359-372, 2003
