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