✦ LIBER ✦

Some Computer Assisted Proofs for Solutions of the Heat Convection Problems

✍ Scribed by Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Erratum to: Computer Assisted Proofs of

✍ Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 102 KB

Computer Assisted Proofs of Bifurcating

✍ Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 552 KB

A Numerical Verification of Nontrivial S

✍ Yoshitaka Watanabe; Nobito Yamamoto; MitsuhiroT. Nakao; Takaaki Nishida 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 328 KB

On the solution of heat conduction probl

✍ V. S. Popovich 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 229 KB

Solution of nonstationary heat-conductio

✍ V. S. Popovich; G. Yu. Garmatii 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 297 KB

Mathematical methods for solution of non

✍ A. A. Kobyshev 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 268 KB